1129
0 true
1 ( >= BC_width 0.0 )
2 ( >= BC_hight 0.0 )
3 ( <= BC_width 4000.0 )
4 ( <= BC_x 0.0 )
5 ( >= BC_x 0.0 )
6 ( <= BC_y 0.0 )
7 ( >= BC_y 0.0 )
8 BC_feasible
9 ( >= back_ground_width 0.0 )
10 ( >= back_ground_hight 0.0 )
11 ( >= title_bg_width 0.0 )
12 ( >= main_body_width 0.0 )
13 ( >= main_body_hight 0.0 )
14 ( >= back_top_width 0.0 )
15 ( <= ( + main_body_y ( * -1.0 title_bg_y ) ( * -1.0 title_bg_hight ) ) 0.0 )
16 ( >= ( + main_body_y ( * -1.0 title_bg_y ) ( * -1.0 title_bg_hight ) ) 0.0 )
17 ( <= ( + back_top_y ( * -1.0 main_body_y ) ( * -1.0 main_body_hight ) ) 0.0 )
18 ( >= ( + back_top_y ( * -1.0 main_body_y ) ( * -1.0 main_body_hight ) ) 0.0 )
19 ( <= back_ground_x 0.0 )
20 ( >= back_ground_x 0.0 )
21 ( <= ( + back_ground_width ( * -1.0 BC_width ) ) 0.0 )
22 ( >= ( + back_ground_width ( * -1.0 BC_width ) ) 0.0 )
23 ( <= title_bg_x 0.0 )
24 ( >= title_bg_x 0.0 )
25 ( <= main_body_x 0.0 )
26 ( >= main_body_x 0.0 )
27 ( <= back_top_x 0.0 )
28 ( >= back_top_x 0.0 )
29 ( <= ( + title_bg_width title_bg_x ( * -1.0 back_ground_width ) ) 0.0 )
30 ( >= ( + title_bg_width title_bg_x ( * -1.0 back_ground_width ) ) 0.0 )
31 ( <= ( + main_body_x main_body_width ( * -1.0 back_ground_width ) ) 0.0 )
32 ( >= ( + main_body_x main_body_width ( * -1.0 back_ground_width ) ) 0.0 )
33 ( <= ( + back_top_width ( * -1.0 back_ground_width ) ) 0.0 )
34 ( >= ( + back_top_width ( * -1.0 back_ground_width ) ) 0.0 )
35 ( <= title_bg_y 0.0 )
36 ( >= title_bg_y 0.0 )
37 ( <= ( + back_top_y ( * -1.0 back_ground_hight ) ) -70.0 )
38 ( >= ( + back_top_y ( * -1.0 back_ground_hight ) ) -70.0 )
39 ( <= ( + title_bg_y ( * -1.0 back_ground_hight ) ) -100.0 )
40 ( >= main_body_y 0.0 )
41 ( <= ( + main_body_y main_body_hight ( * -1.0 back_ground_hight ) ) 0.0 )
42 ( >= back_top_y 0.0 )
43 ( <= back_ground_y 0.0 )
44 ( >= back_ground_y 0.0 )
45 ( >= title_bg_kid_0_x 0.0 )
46 ( >= title_bg_kid_0_y 0.0 )
47 ( >= title_bg_kid_0_hight 0.0 )
48 ( >= title_bg_kid_1_x 0.0 )
49 ( >= title_bg_kid_1_y 0.0 )
50 ( >= title_bg_kid_1_hight 0.0 )
51 ( >= title_bg_kid_2_x 0.0 )
52 ( >= title_bg_kid_2_y 0.0 )
53 ( >= title_bg_kid_2_hight 0.0 )
54 ( >= title_bg_kid_3_x 0.0 )
55 ( >= title_bg_kid_3_y 0.0 )
56 ( >= title_bg_kid_3_hight 0.0 )
57 ( >= title_bg_kid_4_x 0.0 )
58 ( >= title_bg_kid_4_y 0.0 )
59 ( >= title_bg_kid_4_hight 0.0 )
60 ( >= title_bg_kid_5_x 0.0 )
61 ( >= title_bg_kid_5_y 0.0 )
62 ( >= title_bg_kid_5_hight 0.0 )
63 ( >= title_bg_kid_6_x 0.0 )
64 ( >= title_bg_kid_6_y 0.0 )
65 ( >= title_bg_kid_6_hight 0.0 )
66 ( >= title_bg_kid_7_x 0.0 )
67 ( >= title_bg_kid_7_y 0.0 )
68 ( >= title_bg_kid_7_hight 0.0 )
69 ( >= title_bg_kid_8_x 0.0 )
70 ( >= title_bg_kid_8_y 0.0 )
71 ( >= title_bg_kid_8_hight 0.0 )
72 ( <= ( + title_bg_kid_0_x ( * -1.0 title_bg_width ) ( * -1.0 title_bg_x ) ) -110.0 )
73 ( >= ( + title_bg_kid_1_x ( * -1.0 title_bg_x ) ) 10.0 )
74 ( <= ( + title_bg_kid_1_x ( * -1.0 title_bg_width ) ( * -1.0 title_bg_x ) ) -110.0 )
75 ( >= ( + title_bg_kid_2_x ( * -1.0 title_bg_x ) ) 10.0 )
76 ( <= ( + title_bg_kid_2_x ( * -1.0 title_bg_width ) ( * -1.0 title_bg_x ) ) -110.0 )
77 ( >= ( + title_bg_kid_3_x ( * -1.0 title_bg_x ) ) 10.0 )
78 ( <= ( + title_bg_kid_3_x ( * -1.0 title_bg_width ) ( * -1.0 title_bg_x ) ) -110.0 )
79 ( >= ( + title_bg_kid_4_x ( * -1.0 title_bg_x ) ) 10.0 )
80 ( <= ( + title_bg_kid_4_x ( * -1.0 title_bg_width ) ( * -1.0 title_bg_x ) ) -110.0 )
81 ( >= ( + title_bg_kid_5_x ( * -1.0 title_bg_x ) ) 10.0 )
82 ( <= ( + title_bg_kid_5_x ( * -1.0 title_bg_width ) ( * -1.0 title_bg_x ) ) -110.0 )
83 ( >= ( + title_bg_kid_6_x ( * -1.0 title_bg_x ) ) 10.0 )
84 ( <= ( + title_bg_kid_6_x ( * -1.0 title_bg_width ) ( * -1.0 title_bg_x ) ) -110.0 )
85 ( >= ( + title_bg_kid_7_x ( * -1.0 title_bg_x ) ) 10.0 )
86 ( <= ( + title_bg_kid_7_x ( * -1.0 title_bg_width ) ( * -1.0 title_bg_x ) ) -110.0 )
87 ( >= ( + title_bg_kid_8_x ( * -1.0 title_bg_x ) ) 10.0 )
88 ( <= ( + title_bg_kid_8_x ( * -1.0 title_bg_width ) ( * -1.0 title_bg_x ) ) -110.0 )
89 ( >= ( + title_bg_kid_1_x ( * -1.0 title_bg_kid_0_x ) ) 100.0 )
90 ( <= ( + title_bg_kid_1_x ( * -1.0 title_bg_kid_2_x ) ) -100.0 )
91 ( >= ( + title_bg_kid_3_x ( * -1.0 title_bg_kid_2_x ) ) 100.0 )
92 ( >= ( + title_bg_kid_4_x ( * -1.0 title_bg_kid_3_x ) ) 100.0 )
93 ( >= ( + title_bg_kid_5_x ( * -1.0 title_bg_kid_4_x ) ) 100.0 )
94 ( >= ( + title_bg_kid_6_x ( * -1.0 title_bg_kid_5_x ) ) 100.0 )
95 ( >= ( + title_bg_kid_7_x ( * -1.0 title_bg_kid_6_x ) ) 100.0 )
96 ( >= ( + title_bg_kid_8_x ( * -1.0 title_bg_kid_7_x ) ) 100.0 )
97 ( <= title_bg_hight 100.0 )
98 ( >= title_bg_hight 100.0 )
99 ( <= ( + title_bg_kid_0_x ( * -1.0 title_bg_x ) ) 10.0 )
100 ( >= ( + title_bg_kid_0_x ( * -1.0 title_bg_x ) ) 10.0 )
101 ( >= ( + title_bg_kid_8_x ( * -1.0 title_bg_width ) ( * -1.0 title_bg_x ) ) -110.0 )
102 ( <= ( + title_bg_kid_1_width ( * 2.0 title_bg_kid_1_x ) ( * -1.0 title_bg_kid_0_x ) ( * -1.0 title_bg_kid_2_x ) ) 100.0 )
103 ( >= ( + title_bg_kid_1_width ( * 2.0 title_bg_kid_1_x ) ( * -1.0 title_bg_kid_0_x ) ( * -1.0 title_bg_kid_2_x ) ) 100.0 )
104 ( <= ( + title_bg_kid_2_width title_bg_kid_1_x ( * -1.0 title_bg_kid_0_x ) ( * -1.0 title_bg_kid_3_x ) title_bg_kid_2_x ) 100.0 )
105 ( >= ( + title_bg_kid_2_width title_bg_kid_1_x ( * -1.0 title_bg_kid_0_x ) ( * -1.0 title_bg_kid_3_x ) title_bg_kid_2_x ) 100.0 )
106 ( <= ( + title_bg_kid_3_width title_bg_kid_1_x ( * -1.0 title_bg_kid_0_x ) ( * -1.0 title_bg_kid_4_x ) title_bg_kid_3_x ) 100.0 )
107 ( >= ( + title_bg_kid_3_width title_bg_kid_1_x ( * -1.0 title_bg_kid_0_x ) ( * -1.0 title_bg_kid_4_x ) title_bg_kid_3_x ) 100.0 )
108 ( <= ( + title_bg_kid_4_width title_bg_kid_1_x ( * -1.0 title_bg_kid_0_x ) ( * -1.0 title_bg_kid_5_x ) title_bg_kid_4_x ) 100.0 )
109 ( >= ( + title_bg_kid_4_width title_bg_kid_1_x ( * -1.0 title_bg_kid_0_x ) ( * -1.0 title_bg_kid_5_x ) title_bg_kid_4_x ) 100.0 )
110 ( <= ( + title_bg_kid_5_width title_bg_kid_1_x ( * -1.0 title_bg_kid_0_x ) ( * -1.0 title_bg_kid_6_x ) title_bg_kid_5_x ) 100.0 )
111 ( >= ( + title_bg_kid_5_width title_bg_kid_1_x ( * -1.0 title_bg_kid_0_x ) ( * -1.0 title_bg_kid_6_x ) title_bg_kid_5_x ) 100.0 )
112 ( <= ( + title_bg_kid_6_width title_bg_kid_1_x ( * -1.0 title_bg_kid_7_x ) ( * -1.0 title_bg_kid_0_x ) title_bg_kid_6_x ) 100.0 )
113 ( >= ( + title_bg_kid_6_width title_bg_kid_1_x ( * -1.0 title_bg_kid_7_x ) ( * -1.0 title_bg_kid_0_x ) title_bg_kid_6_x ) 100.0 )
114 ( <= ( + title_bg_kid_7_width ( * -1.0 title_bg_kid_8_x ) title_bg_kid_1_x title_bg_kid_7_x ( * -1.0 title_bg_kid_0_x ) ) 100.0 )
115 ( >= ( + title_bg_kid_7_width ( * -1.0 title_bg_kid_8_x ) title_bg_kid_1_x title_bg_kid_7_x ( * -1.0 title_bg_kid_0_x ) ) 100.0 )
116 ( <= title_bg_kid_1_width 100.0 )
117 ( >= title_bg_kid_1_width 100.0 )
118 ( <= title_bg_kid_2_width 100.0 )
119 ( >= title_bg_kid_2_width 100.0 )
120 ( <= title_bg_kid_3_width 100.0 )
121 ( >= title_bg_kid_3_width 100.0 )
122 ( <= title_bg_kid_4_width 100.0 )
123 ( >= title_bg_kid_4_width 100.0 )
124 ( <= title_bg_kid_5_width 100.0 )
125 ( >= title_bg_kid_5_width 100.0 )
126 ( <= title_bg_kid_6_width 100.0 )
127 ( >= title_bg_kid_6_width 100.0 )
128 ( <= title_bg_kid_7_width 100.0 )
129 ( >= title_bg_kid_7_width 100.0 )
130 ( <= title_bg_kid_8_width 100.0 )
131 ( >= title_bg_kid_8_width 100.0 )
132 ( <= title_bg_kid_0_width 100.0 )
133 ( >= title_bg_kid_0_width 100.0 )
134 ( <= ( + title_bg_y ( * -1.0 title_bg_kid_0_y ) ) -10.0 )
135 ( >= ( + title_bg_y ( * -1.0 title_bg_kid_0_y ) ) -10.0 )
136 ( <= ( + title_bg_y title_bg_hight ( * -1.0 title_bg_kid_0_y ) ( * -1.0 title_bg_kid_0_hight ) ) 10.0 )
137 ( >= ( + title_bg_y title_bg_hight ( * -1.0 title_bg_kid_0_y ) ( * -1.0 title_bg_kid_0_hight ) ) 10.0 )
138 ( <= ( + title_bg_y ( * -1.0 title_bg_kid_1_y ) ) -10.0 )
139 ( >= ( + title_bg_y ( * -1.0 title_bg_kid_1_y ) ) -10.0 )
140 ( <= ( + title_bg_y title_bg_hight ( * -1.0 title_bg_kid_1_hight ) ( * -1.0 title_bg_kid_1_y ) ) 10.0 )
141 ( >= ( + title_bg_y title_bg_hight ( * -1.0 title_bg_kid_1_hight ) ( * -1.0 title_bg_kid_1_y ) ) 10.0 )
142 ( <= ( + title_bg_y ( * -1.0 title_bg_kid_2_y ) ) -10.0 )
143 ( >= ( + title_bg_y ( * -1.0 title_bg_kid_2_y ) ) -10.0 )
144 ( <= ( + title_bg_y title_bg_hight ( * -1.0 title_bg_kid_2_hight ) ( * -1.0 title_bg_kid_2_y ) ) 10.0 )
145 ( >= ( + title_bg_y title_bg_hight ( * -1.0 title_bg_kid_2_hight ) ( * -1.0 title_bg_kid_2_y ) ) 10.0 )
146 ( <= ( + title_bg_y ( * -1.0 title_bg_kid_3_y ) ) -10.0 )
147 ( >= ( + title_bg_y ( * -1.0 title_bg_kid_3_y ) ) -10.0 )
148 ( <= ( + title_bg_y title_bg_hight ( * -1.0 title_bg_kid_3_y ) ( * -1.0 title_bg_kid_3_hight ) ) 10.0 )
149 ( >= ( + title_bg_y title_bg_hight ( * -1.0 title_bg_kid_3_y ) ( * -1.0 title_bg_kid_3_hight ) ) 10.0 )
150 ( <= ( + title_bg_y ( * -1.0 title_bg_kid_4_y ) ) -10.0 )
151 ( >= ( + title_bg_y ( * -1.0 title_bg_kid_4_y ) ) -10.0 )
152 ( <= ( + title_bg_y title_bg_hight ( * -1.0 title_bg_kid_4_y ) ( * -1.0 title_bg_kid_4_hight ) ) 10.0 )
153 ( >= ( + title_bg_y title_bg_hight ( * -1.0 title_bg_kid_4_y ) ( * -1.0 title_bg_kid_4_hight ) ) 10.0 )
154 ( <= ( + title_bg_y ( * -1.0 title_bg_kid_5_y ) ) -10.0 )
155 ( >= ( + title_bg_y ( * -1.0 title_bg_kid_5_y ) ) -10.0 )
156 ( <= ( + title_bg_y title_bg_hight ( * -1.0 title_bg_kid_5_y ) ( * -1.0 title_bg_kid_5_hight ) ) 10.0 )
157 ( >= ( + title_bg_y title_bg_hight ( * -1.0 title_bg_kid_5_y ) ( * -1.0 title_bg_kid_5_hight ) ) 10.0 )
158 ( <= ( + title_bg_y ( * -1.0 title_bg_kid_6_y ) ) -10.0 )
159 ( >= ( + title_bg_y ( * -1.0 title_bg_kid_6_y ) ) -10.0 )
160 ( <= ( + title_bg_y title_bg_hight ( * -1.0 title_bg_kid_6_y ) ( * -1.0 title_bg_kid_6_hight ) ) 10.0 )
161 ( >= ( + title_bg_y title_bg_hight ( * -1.0 title_bg_kid_6_y ) ( * -1.0 title_bg_kid_6_hight ) ) 10.0 )
162 ( <= ( + title_bg_y ( * -1.0 title_bg_kid_7_y ) ) -10.0 )
163 ( >= ( + title_bg_y ( * -1.0 title_bg_kid_7_y ) ) -10.0 )
164 ( <= ( + title_bg_y title_bg_hight ( * -1.0 title_bg_kid_7_y ) ( * -1.0 title_bg_kid_7_hight ) ) 10.0 )
165 ( >= ( + title_bg_y title_bg_hight ( * -1.0 title_bg_kid_7_y ) ( * -1.0 title_bg_kid_7_hight ) ) 10.0 )
166 ( <= ( + title_bg_y ( * -1.0 title_bg_kid_8_y ) ) -10.0 )
167 ( >= ( + title_bg_y ( * -1.0 title_bg_kid_8_y ) ) -10.0 )
168 ( <= ( + title_bg_kid_8_hight ( * -1.0 title_bg_y ) ( * -1.0 title_bg_hight ) title_bg_kid_8_y ) -10.0 )
169 ( >= ( + title_bg_kid_8_hight ( * -1.0 title_bg_y ) ( * -1.0 title_bg_hight ) title_bg_kid_8_y ) -10.0 )
170 ( >= side_bar_x 0.0 )
171 ( >= side_bar_y 0.0 )
172 ( >= side_bar_hight 0.0 )
173 ( >= main_x 0.0 )
174 ( >= main_y 0.0 )
175 ( >= main_width 0.0 )
176 ( >= main_hight 0.0 )
177 ( <= ( + side_bar_x ( * -1.0 main_body_x ) ( * -1.0 main_body_width ) ) -200.0 )
178 ( >= ( + main_x ( * -1.0 main_body_x ) ) 0.0 )
179 ( >= ( + main_x ( * -1.0 side_bar_x ) ) 200.0 )
180 ( <= ( + side_bar_x ( * -1.0 main_body_x ) ) 0.0 )
181 ( >= ( + side_bar_x ( * -1.0 main_body_x ) ) 0.0 )
182 ( <= ( + main_x main_width ( * -1.0 main_body_x ) ( * -1.0 main_body_width ) ) 0.0 )
183 ( >= ( + main_x main_width ( * -1.0 main_body_x ) ( * -1.0 main_body_width ) ) 0.0 )
184 ( <= ( + main_body_y ( * -1.0 side_bar_y ) ) 0.0 )
185 ( >= ( + main_body_y ( * -1.0 side_bar_y ) ) 0.0 )
186 ( <= ( + main_y ( * -1.0 main_body_y ) ) 0.0 )
187 ( >= ( + main_y ( * -1.0 main_body_y ) ) 0.0 )
188 ( <= ( + main_body_y main_body_hight ( * -1.0 side_bar_hight ) ( * -1.0 side_bar_y ) ) 0.0 )
189 ( >= ( + main_body_y main_body_hight ( * -1.0 side_bar_hight ) ( * -1.0 side_bar_y ) ) 0.0 )
190 ( <= ( + main_y main_hight ( * -1.0 main_body_y ) ( * -1.0 main_body_hight ) ) 0.0 )
191 ( >= ( + main_y main_hight ( * -1.0 main_body_y ) ( * -1.0 main_body_hight ) ) 0.0 )
192 ( <= ( + main_x ( * -1.0 side_bar_x ) ) 200.0 )
193 ( <= side_bar_width 200.0 )
194 ( >= side_bar_width 200.0 )
195 ( >= main_title_x 0.0 )
196 ( >= main_title_y 0.0 )
197 ( >= fashion_sales_x 0.0 )
198 ( >= fashion_sales_y 0.0 )
199 ( >= fashion_sales_width 0.0 )
200 ( >= fashion_sales_hight 0.0 )
201 ( >= spring_edit_holder_x 0.0 )
202 ( >= spring_edit_holder_y 0.0 )
203 ( >= spring_edit_holder_width 0.0 )
204 ( >= spring_edit_holder_hight 0.0 )
205 ( >= staples_x 0.0 )
206 ( >= staples_y 0.0 )
207 ( >= staple_items_x 0.0 )
208 ( >= staple_items_y 0.0 )
209 ( >= staple_items_width 0.0 )
210 ( >= staple_items_hight 0.0 )
211 ( >= basic_right_x 0.0 )
212 ( >= basic_right_y 0.0 )
213 ( >= basic_right_width 0.0 )
214 ( >= basic_right_hight 0.0 )
215 ( >= shop_occation_x 0.0 )
216 ( >= shop_occation_y 0.0 )
217 ( >= shop_occation_width 0.0 )
218 ( >= shop_occation_hight 0.0 )
219 ( >= icon_tbl_x 0.0 )
220 ( >= icon_tbl_y 0.0 )
221 ( >= icon_tbl_width 0.0 )
222 ( >= icon_tbl_hight 0.0 )
223 ( <= ( + fashion_sales_y ( * -1.0 main_title_y ) ) 120.0 )
224 ( >= ( + fashion_sales_y ( * -1.0 main_title_y ) ) 120.0 )
225 ( <= ( + spring_edit_holder_y ( * -1.0 fashion_sales_y ) ( * -1.0 fashion_sales_hight ) ) 20.0 )
226 ( >= ( + spring_edit_holder_y ( * -1.0 fashion_sales_y ) ( * -1.0 fashion_sales_hight ) ) 20.0 )
227 ( <= ( + spring_edit_holder_hight spring_edit_holder_y ( * -1.0 staples_y ) ) -20.0 )
228 ( >= ( + spring_edit_holder_hight spring_edit_holder_y ( * -1.0 staples_y ) ) -20.0 )
229 ( <= ( + staple_items_y ( * -1.0 staples_y ) ) 70.0 )
230 ( >= ( + staple_items_y ( * -1.0 staples_y ) ) 70.0 )
231 ( <= ( + basic_right_y ( * -1.0 staple_items_hight ) ( * -1.0 staple_items_y ) ) 20.0 )
232 ( >= ( + basic_right_y ( * -1.0 staple_items_hight ) ( * -1.0 staple_items_y ) ) 20.0 )
233 ( <= ( + shop_occation_y ( * -1.0 basic_right_hight ) ( * -1.0 basic_right_y ) ) 20.0 )
234 ( >= ( + shop_occation_y ( * -1.0 basic_right_hight ) ( * -1.0 basic_right_y ) ) 20.0 )
235 ( <= ( + icon_tbl_y ( * -1.0 shop_occation_y ) ( * -1.0 shop_occation_hight ) ) 20.0 )
236 ( >= ( + icon_tbl_y ( * -1.0 shop_occation_y ) ( * -1.0 shop_occation_hight ) ) 20.0 )
237 ( <= ( + main_x ( * -1.0 main_title_x ) ) -10.0 )
238 ( >= ( + main_x main_width ( * -1.0 main_title_x ) ( * -1.0 main_title_width ) ) 10.0 )
239 ( >= ( + main_title_y ( * -1.0 main_y ) ) 10.0 )
240 ( <= ( + main_title_y ( * -1.0 main_y ) ( * -1.0 main_hight ) ) -110.0 )
241 ( >= ( + fashion_sales_x ( * -1.0 main_x ) ) 10.0 )
242 ( <= ( + fashion_sales_width fashion_sales_x ( * -1.0 main_x ) ( * -1.0 main_width ) ) -10.0 )
243 ( >= ( + fashion_sales_y ( * -1.0 main_y ) ) 10.0 )
244 ( <= ( + fashion_sales_y fashion_sales_hight ( * -1.0 main_y ) ( * -1.0 main_hight ) ) -10.0 )
245 ( <= ( + main_x ( * -1.0 spring_edit_holder_x ) ) -10.0 )
246 ( <= ( + spring_edit_holder_width ( * -1.0 main_x ) ( * -1.0 main_width ) spring_edit_holder_x ) -10.0 )
247 ( >= ( + spring_edit_holder_y ( * -1.0 main_y ) ) 10.0 )
248 ( <= ( + spring_edit_holder_hight spring_edit_holder_y ( * -1.0 main_y ) ( * -1.0 main_hight ) ) -10.0 )
249 ( >= ( + staples_x ( * -1.0 main_x ) ) 10.0 )
250 ( <= ( + staples_x ( * -1.0 main_x ) ( * -1.0 main_width ) ) -210.0 )
251 ( >= ( + staples_y ( * -1.0 main_y ) ) 10.0 )
252 ( <= ( + staples_y ( * -1.0 main_y ) ( * -1.0 main_hight ) ) -60.0 )
253 ( >= ( + staple_items_x ( * -1.0 main_x ) ) 10.0 )
254 ( <= ( + staple_items_width staple_items_x ( * -1.0 main_x ) ( * -1.0 main_width ) ) -10.0 )
255 ( >= ( + staple_items_y ( * -1.0 main_y ) ) 10.0 )
256 ( <= ( + staple_items_hight staple_items_y ( * -1.0 main_y ) ( * -1.0 main_hight ) ) -10.0 )
257 ( >= ( + basic_right_x ( * -1.0 main_x ) ) 10.0 )
258 ( <= ( + basic_right_x basic_right_width ( * -1.0 main_x ) ( * -1.0 main_width ) ) -10.0 )
259 ( >= ( + basic_right_y ( * -1.0 main_y ) ) 10.0 )
260 ( <= ( + basic_right_hight basic_right_y ( * -1.0 main_y ) ( * -1.0 main_hight ) ) -10.0 )
261 ( >= ( + shop_occation_x ( * -1.0 main_x ) ) 10.0 )
262 ( <= ( + shop_occation_x shop_occation_width ( * -1.0 main_x ) ( * -1.0 main_width ) ) -10.0 )
263 ( >= ( + shop_occation_y ( * -1.0 main_y ) ) 10.0 )
264 ( <= ( + shop_occation_y shop_occation_hight ( * -1.0 main_y ) ( * -1.0 main_hight ) ) -10.0 )
265 ( >= ( + icon_tbl_x ( * -1.0 main_x ) ) 10.0 )
266 ( <= ( + icon_tbl_width icon_tbl_x ( * -1.0 main_x ) ( * -1.0 main_width ) ) -10.0 )
267 ( >= ( + icon_tbl_y ( * -1.0 main_y ) ) 10.0 )
268 ( <= ( + icon_tbl_y icon_tbl_hight ( * -1.0 main_y ) ( * -1.0 main_hight ) ) -10.0 )
269 ( <= main_title_width 200.0 )
270 ( >= main_title_width 200.0 )
271 ( <= main_title_hight 100.0 )
272 ( >= main_title_hight 100.0 )
273 ( <= ( + ( * 2.0 main_x ) main_width ( * -2.0 main_title_x ) ( * -1.0 main_title_width ) ) 0.0 )
274 ( >= ( + ( * 2.0 main_x ) main_width ( * -2.0 main_title_x ) ( * -1.0 main_title_width ) ) 0.0 )
275 ( >= fashion_sales_kid_0_x 0.0 )
276 ( >= fashion_sales_kid_0_y 0.0 )
277 ( >= fashion_sales_kid_0_width 0.0 )
278 ( >= fashion_sales_kid_0_hight 0.0 )
279 ( >= fashion_sales_kid_1_x 0.0 )
280 ( >= fashion_sales_kid_1_y 0.0 )
281 ( >= fashion_sales_kid_1_width 0.0 )
282 ( >= fashion_sales_kid_1_hight 0.0 )
283 ( >= fashion_sales_kid_2_x 0.0 )
284 ( >= fashion_sales_kid_2_y 0.0 )
285 ( >= fashion_sales_kid_2_width 0.0 )
286 ( >= fashion_sales_kid_2_hight 0.0 )
287 ( >= fashion_sales_kid_3_x 0.0 )
288 ( >= fashion_sales_kid_3_y 0.0 )
289 ( >= fashion_sales_kid_3_width 0.0 )
290 ( >= fashion_sales_kid_3_hight 0.0 )
291 ( >= fashion_sales_kid_4_x 0.0 )
292 ( >= fashion_sales_kid_4_y 0.0 )
293 ( >= fashion_sales_kid_4_width 0.0 )
294 ( >= fashion_sales_kid_4_hight 0.0 )
295 ( >= fashion_sales_kid_5_x 0.0 )
296 ( >= fashion_sales_kid_5_y 0.0 )
297 ( >= fashion_sales_kid_5_width 0.0 )
298 ( >= fashion_sales_kid_5_hight 0.0 )
299 ( <= ( + fashion_sales_x ( * -1.0 fashion_sales_kid_0_x ) ) -10.0 )
300 ( >= ( + fashion_sales_x ( * -1.0 fashion_sales_kid_0_x ) ) -10.0 )
301 ( <= ( + fashion_sales_width fashion_sales_x ( * -1.0 fashion_sales_kid_5_width ) ( * -1.0 fashion_sales_kid_5_x ) ) 10.0 )
302 ( >= ( + fashion_sales_width fashion_sales_x ( * -1.0 fashion_sales_kid_5_width ) ( * -1.0 fashion_sales_kid_5_x ) ) 10.0 )
303 ( <= ( + fashion_sales_y ( * -1.0 fashion_sales_kid_0_y ) ) -10.0 )
304 ( >= ( + fashion_sales_y ( * -1.0 fashion_sales_kid_0_y ) ) -10.0 )
305 ( <= ( + fashion_sales_y ( * -1.0 fashion_sales_kid_1_y ) ) -10.0 )
306 ( >= ( + fashion_sales_y ( * -1.0 fashion_sales_kid_1_y ) ) -10.0 )
307 ( <= ( + fashion_sales_y ( * -1.0 fashion_sales_kid_2_y ) ) -10.0 )
308 ( >= ( + fashion_sales_y ( * -1.0 fashion_sales_kid_2_y ) ) -10.0 )
309 ( <= ( + fashion_sales_y ( * -1.0 fashion_sales_kid_3_y ) ) -10.0 )
310 ( >= ( + fashion_sales_y ( * -1.0 fashion_sales_kid_3_y ) ) -10.0 )
311 ( <= ( + fashion_sales_y ( * -1.0 fashion_sales_kid_4_y ) ) -10.0 )
312 ( >= ( + fashion_sales_y ( * -1.0 fashion_sales_kid_4_y ) ) -10.0 )
313 ( <= ( + fashion_sales_y ( * -1.0 fashion_sales_kid_5_y ) ) -10.0 )
314 ( >= ( + fashion_sales_y ( * -1.0 fashion_sales_kid_5_y ) ) -10.0 )
315 ( <= ( + fashion_sales_kid_0_hight ( * -1.0 fashion_sales_y ) ( * -1.0 fashion_sales_hight ) fashion_sales_kid_0_y ) -10.0 )
316 ( >= ( + fashion_sales_kid_0_hight ( * -1.0 fashion_sales_y ) ( * -1.0 fashion_sales_hight ) fashion_sales_kid_0_y ) -10.0 )
317 ( <= ( + fashion_sales_kid_1_hight ( * -1.0 fashion_sales_y ) ( * -1.0 fashion_sales_hight ) fashion_sales_kid_1_y ) -10.0 )
318 ( >= ( + fashion_sales_kid_1_hight ( * -1.0 fashion_sales_y ) ( * -1.0 fashion_sales_hight ) fashion_sales_kid_1_y ) -10.0 )
319 ( <= ( + fashion_sales_kid_2_hight ( * -1.0 fashion_sales_y ) ( * -1.0 fashion_sales_hight ) fashion_sales_kid_2_y ) -10.0 )
320 ( >= ( + fashion_sales_kid_2_hight ( * -1.0 fashion_sales_y ) ( * -1.0 fashion_sales_hight ) fashion_sales_kid_2_y ) -10.0 )
321 ( <= ( + fashion_sales_kid_3_hight ( * -1.0 fashion_sales_y ) ( * -1.0 fashion_sales_hight ) fashion_sales_kid_3_y ) -10.0 )
322 ( >= ( + fashion_sales_kid_3_hight ( * -1.0 fashion_sales_y ) ( * -1.0 fashion_sales_hight ) fashion_sales_kid_3_y ) -10.0 )
323 ( <= ( + fashion_sales_kid_4_hight ( * -1.0 fashion_sales_y ) ( * -1.0 fashion_sales_hight ) fashion_sales_kid_4_y ) -10.0 )
324 ( >= ( + fashion_sales_kid_4_hight ( * -1.0 fashion_sales_y ) ( * -1.0 fashion_sales_hight ) fashion_sales_kid_4_y ) -10.0 )
325 ( <= ( + fashion_sales_kid_5_hight ( * -1.0 fashion_sales_y ) fashion_sales_kid_5_y ( * -1.0 fashion_sales_hight ) ) -10.0 )
326 ( >= ( + fashion_sales_kid_5_hight ( * -1.0 fashion_sales_y ) fashion_sales_kid_5_y ( * -1.0 fashion_sales_hight ) ) -10.0 )
327 ( <= ( + fashion_sales_kid_0_width ( * -1.0 fashion_sales_kid_1_x ) fashion_sales_kid_0_x ) -30.0 )
328 ( >= ( + fashion_sales_kid_0_width ( * -1.0 fashion_sales_kid_1_x ) fashion_sales_kid_0_x ) -30.0 )
329 ( <= ( + fashion_sales_kid_1_width ( * -1.0 fashion_sales_kid_2_x ) fashion_sales_kid_1_x ) -30.0 )
330 ( >= ( + fashion_sales_kid_1_width ( * -1.0 fashion_sales_kid_2_x ) fashion_sales_kid_1_x ) -30.0 )
331 ( <= ( + fashion_sales_kid_2_width ( * -1.0 fashion_sales_kid_3_x ) fashion_sales_kid_2_x ) -30.0 )
332 ( >= ( + fashion_sales_kid_2_width ( * -1.0 fashion_sales_kid_3_x ) fashion_sales_kid_2_x ) -30.0 )
333 ( <= ( + fashion_sales_kid_3_width ( * -1.0 fashion_sales_kid_4_x ) fashion_sales_kid_3_x ) -30.0 )
334 ( >= ( + fashion_sales_kid_3_width ( * -1.0 fashion_sales_kid_4_x ) fashion_sales_kid_3_x ) -30.0 )
335 ( <= ( + fashion_sales_kid_4_width ( * -1.0 fashion_sales_kid_5_x ) fashion_sales_kid_4_x ) -30.0 )
336 ( >= ( + fashion_sales_kid_4_width ( * -1.0 fashion_sales_kid_5_x ) fashion_sales_kid_4_x ) -30.0 )
337 ( >= ( + fashion_sales_width fashion_sales_x ( * -1.0 fashion_sales_kid_0_width ) ( * -1.0 fashion_sales_kid_0_x ) ) 10.0 )
338 ( <= ( + fashion_sales_x ( * -1.0 fashion_sales_kid_1_x ) ) -10.0 )
339 ( >= ( + fashion_sales_width fashion_sales_x ( * -1.0 fashion_sales_kid_1_width ) ( * -1.0 fashion_sales_kid_1_x ) ) 10.0 )
340 ( <= ( + fashion_sales_x ( * -1.0 fashion_sales_kid_2_x ) ) -10.0 )
341 ( >= ( + fashion_sales_width fashion_sales_x ( * -1.0 fashion_sales_kid_2_width ) ( * -1.0 fashion_sales_kid_2_x ) ) 10.0 )
342 ( <= ( + fashion_sales_x ( * -1.0 fashion_sales_kid_3_x ) ) -10.0 )
343 ( >= ( + fashion_sales_width fashion_sales_x ( * -1.0 fashion_sales_kid_3_width ) ( * -1.0 fashion_sales_kid_3_x ) ) 10.0 )
344 ( <= ( + fashion_sales_x ( * -1.0 fashion_sales_kid_4_x ) ) -10.0 )
345 ( >= ( + fashion_sales_width fashion_sales_x ( * -1.0 fashion_sales_kid_4_width ) ( * -1.0 fashion_sales_kid_4_x ) ) 10.0 )
346 ( <= ( + fashion_sales_x ( * -1.0 fashion_sales_kid_5_x ) ) -10.0 )
347 ( <= ( + fashion_sales_kid_1_width ( * -1.0 fashion_sales_kid_0_width ) ) 0.0 )
348 ( >= ( + fashion_sales_kid_1_width ( * -1.0 fashion_sales_kid_0_width ) ) 0.0 )
349 ( <= ( + fashion_sales_kid_2_width ( * -1.0 fashion_sales_kid_0_width ) ) 0.0 )
350 ( >= ( + fashion_sales_kid_2_width ( * -1.0 fashion_sales_kid_0_width ) ) 0.0 )
351 ( <= ( + fashion_sales_kid_3_width ( * -1.0 fashion_sales_kid_0_width ) ) 0.0 )
352 ( >= ( + fashion_sales_kid_3_width ( * -1.0 fashion_sales_kid_0_width ) ) 0.0 )
353 ( <= ( + fashion_sales_kid_4_width ( * -1.0 fashion_sales_kid_0_width ) ) 0.0 )
354 ( >= ( + fashion_sales_kid_4_width ( * -1.0 fashion_sales_kid_0_width ) ) 0.0 )
355 ( <= ( + fashion_sales_kid_5_width ( * -1.0 fashion_sales_kid_0_width ) ) 0.0 )
356 ( >= ( + fashion_sales_kid_5_width ( * -1.0 fashion_sales_kid_0_width ) ) 0.0 )
357 ( <= ( + fashion_sales_width ( * 2.0 fashion_sales_x ) ( * -2.0 main_x ) ( * -1.0 main_width ) ) 0.0 )
358 ( >= ( + fashion_sales_width ( * 2.0 fashion_sales_x ) ( * -2.0 main_x ) ( * -1.0 main_width ) ) 0.0 )
359 ( <= main_width 1500.0 )
360 ( <= fashion_sales_width 1500.0 )
361 ( >= fashion_sales_width 1500.0 )
362 ( <= ( + fashion_sales_width ( * -1.0 main_width ) ) -20.0 )
363 ( >= ( + fashion_sales_width ( * -1.0 main_width ) ) -20.0 )
364 ( <= ( + fashion_sales_kid_0_hight ( * -1.0 fashion_sales_kid_0_width ) ) 0.0 )
365 ( >= ( + fashion_sales_kid_0_hight ( * -1.0 fashion_sales_kid_0_width ) ) 0.0 )
366 ( <= ( + fashion_sales_kid_1_hight ( * -1.0 fashion_sales_kid_1_width ) ) 0.0 )
367 ( >= ( + fashion_sales_kid_1_hight ( * -1.0 fashion_sales_kid_1_width ) ) 0.0 )
368 ( <= ( + fashion_sales_kid_2_hight ( * -1.0 fashion_sales_kid_2_width ) ) 0.0 )
369 ( >= ( + fashion_sales_kid_2_hight ( * -1.0 fashion_sales_kid_2_width ) ) 0.0 )
370 ( <= ( + fashion_sales_kid_3_hight ( * -1.0 fashion_sales_kid_3_width ) ) 0.0 )
371 ( >= ( + fashion_sales_kid_3_hight ( * -1.0 fashion_sales_kid_3_width ) ) 0.0 )
372 ( <= ( + fashion_sales_kid_4_hight ( * -1.0 fashion_sales_kid_4_width ) ) 0.0 )
373 ( >= ( + fashion_sales_kid_4_hight ( * -1.0 fashion_sales_kid_4_width ) ) 0.0 )
374 ( <= ( + fashion_sales_kid_5_width ( * -1.0 fashion_sales_kid_5_hight ) ) 0.0 )
375 ( >= ( + fashion_sales_kid_5_width ( * -1.0 fashion_sales_kid_5_hight ) ) 0.0 )
376 ( >= spring_edit_x 0.0 )
377 ( >= spring_edit_y 0.0 )
378 ( >= spring_edit_width 0.0 )
379 ( >= spring_edit_hight 0.0 )
380 ( >= spring_edit_thin_x 0.0 )
381 ( >= spring_edit_thin_y 0.0 )
382 ( >= spring_edit_thin_width 0.0 )
383 ( >= spring_edit_thin_hight 0.0 )
384 spring_edit_feasible
385 ( <= ( + spring_edit_x ( * -1.0 spring_edit_holder_x ) ) 0.0 )
386 ( >= ( + spring_edit_x ( * -1.0 spring_edit_holder_x ) ) 0.0 )
387 ( <= ( + spring_edit_width spring_edit_x ( * -1.0 spring_edit_holder_width ) ( * -1.0 spring_edit_holder_x ) ) 0.0 )
388 ( >= ( + spring_edit_width spring_edit_x ( * -1.0 spring_edit_holder_width ) ( * -1.0 spring_edit_holder_x ) ) 0.0 )
389 ( <= ( + spring_edit_y ( * -1.0 spring_edit_holder_y ) ) 0.0 )
390 ( >= ( + spring_edit_y ( * -1.0 spring_edit_holder_y ) ) 0.0 )
391 ( <= ( + spring_edit_y spring_edit_hight ( * -1.0 spring_edit_holder_hight ) ( * -1.0 spring_edit_holder_y ) ) 0.0 )
392 ( >= ( + spring_edit_y spring_edit_hight ( * -1.0 spring_edit_holder_hight ) ( * -1.0 spring_edit_holder_y ) ) 0.0 )
393 spring_edit_thin_feasible
394 ( <= ( + spring_edit_thin_x ( * -1.0 spring_edit_holder_x ) ) 0.0 )
395 ( >= ( + spring_edit_thin_x ( * -1.0 spring_edit_holder_x ) ) 0.0 )
396 ( <= ( + spring_edit_thin_x spring_edit_thin_width ( * -1.0 spring_edit_holder_width ) ( * -1.0 spring_edit_holder_x ) ) 0.0 )
397 ( >= ( + spring_edit_thin_x spring_edit_thin_width ( * -1.0 spring_edit_holder_width ) ( * -1.0 spring_edit_holder_x ) ) 0.0 )
398 ( <= ( + spring_edit_thin_y ( * -1.0 spring_edit_holder_y ) ) 0.0 )
399 ( >= ( + spring_edit_thin_y ( * -1.0 spring_edit_holder_y ) ) 0.0 )
400 ( <= ( + spring_edit_thin_y spring_edit_thin_hight ( * -1.0 spring_edit_holder_hight ) ( * -1.0 spring_edit_holder_y ) ) 0.0 )
401 ( >= ( + spring_edit_thin_y spring_edit_thin_hight ( * -1.0 spring_edit_holder_hight ) ( * -1.0 spring_edit_holder_y ) ) 0.0 )
402 ( <= ( + spring_edit_holder_width ( * -2.0 main_x ) ( * -1.0 main_width ) ( * 2.0 spring_edit_holder_x ) ) 0.0 )
403 ( >= ( + spring_edit_holder_width ( * -2.0 main_x ) ( * -1.0 main_width ) ( * 2.0 spring_edit_holder_x ) ) 0.0 )
404 ( <= ( + fashion_sales_width ( * -1.0 spring_edit_holder_width ) ) 0.0 )
405 ( >= ( + fashion_sales_width ( * -1.0 spring_edit_holder_width ) ) 0.0 )
406 ( <= ( + ( * 5.0 spring_edit_holder_hight ) ( * -1.0 spring_edit_holder_width ) ) 0.0 )
407 ( >= ( + ( * 5.0 spring_edit_holder_hight ) ( * -1.0 spring_edit_holder_width ) ) 0.0 )
408 ( >= spring_edit_kid_0_x 0.0 )
409 ( >= spring_edit_kid_0_y 0.0 )
410 ( >= spring_edit_kid_0_width 0.0 )
411 ( >= spring_edit_kid_0_hight 0.0 )
412 ( >= spring_edit_kid_1_x 0.0 )
413 ( >= spring_edit_kid_1_y 0.0 )
414 ( >= spring_edit_kid_1_width 0.0 )
415 ( >= spring_edit_kid_1_hight 0.0 )
416 ( >= ( + spring_edit_kid_0_x ( * -1.0 spring_edit_x ) ) 0.0 )
417 ( <= ( + spring_edit_kid_0_width spring_edit_kid_0_x ( * -1.0 spring_edit_width ) ( * -1.0 spring_edit_x ) ) 0.0 )
418 ( <= ( + spring_edit_y ( * -1.0 spring_edit_kid_0_y ) ) 0.0 )
419 ( >= ( + spring_edit_y spring_edit_hight ( * -1.0 spring_edit_kid_0_y ) ( * -1.0 spring_edit_kid_0_hight ) ) 0.0 )
420 ( >= ( + spring_edit_kid_1_x ( * -1.0 spring_edit_x ) ) 0.0 )
421 ( <= ( + spring_edit_kid_1_width spring_edit_kid_1_x ( * -1.0 spring_edit_width ) ( * -1.0 spring_edit_x ) ) 0.0 )
422 ( >= ( + spring_edit_kid_1_y ( * -1.0 spring_edit_y ) ) 0.0 )
423 ( <= ( + spring_edit_kid_1_y spring_edit_kid_1_hight ( * -1.0 spring_edit_y ) ( * -1.0 spring_edit_hight ) ) 0.0 )
424 ( <= ( + spring_edit_kid_0_width ( * -1.0 spring_edit_kid_1_x ) spring_edit_kid_0_x ) 0.0 )
425 ( <= ( + spring_edit_kid_0_x ( * -1.0 spring_edit_x ) ) 0.0 )
426 ( >= ( + spring_edit_kid_1_width spring_edit_kid_1_x ( * -1.0 spring_edit_width ) ( * -1.0 spring_edit_x ) ) 0.0 )
427 ( >= ( + spring_edit_y ( * -1.0 spring_edit_kid_0_y ) ) 0.0 )
428 ( <= ( + spring_edit_kid_1_y ( * -1.0 spring_edit_y ) ) 0.0 )
429 ( <= ( + spring_edit_y spring_edit_hight ( * -1.0 spring_edit_kid_0_y ) ( * -1.0 spring_edit_kid_0_hight ) ) 0.0 )
430 ( >= ( + spring_edit_kid_1_y spring_edit_kid_1_hight ( * -1.0 spring_edit_y ) ( * -1.0 spring_edit_hight ) ) 0.0 )
431 ( >= ( + spring_edit_kid_0_width ( * -1.0 spring_edit_kid_1_x ) spring_edit_kid_0_x ) 0.0 )
432 ( <= ( + spring_edit_kid_0_width ( * -1.0 spring_edit_kid_1_width ) ) 0.0 )
433 ( >= ( + spring_edit_kid_0_width ( * -1.0 spring_edit_kid_1_width ) ) 0.0 )
434 ( >= spring_edit_kid_0_width 500.0 )
435 ( >= spring_edit_thin_kid_0_x 0.0 )
436 ( >= spring_edit_thin_kid_0_y 0.0 )
437 ( >= spring_edit_thin_kid_0_width 0.0 )
438 ( >= spring_edit_thin_kid_0_hight 0.0 )
439 ( >= ( + spring_edit_thin_kid_0_x ( * -1.0 spring_edit_thin_x ) ) 0.0 )
440 ( <= ( + spring_edit_thin_kid_0_x spring_edit_thin_kid_0_width ( * -1.0 spring_edit_thin_x ) ( * -1.0 spring_edit_thin_width ) ) 0.0 )
441 ( <= ( + spring_edit_thin_y ( * -1.0 spring_edit_thin_kid_0_y ) ) 0.0 )
442 ( <= ( + spring_edit_thin_kid_0_hight ( * -1.0 spring_edit_thin_y ) ( * -1.0 spring_edit_thin_hight ) spring_edit_thin_kid_0_y ) 0.0 )
443 ( <= ( + spring_edit_thin_kid_0_x ( * -1.0 spring_edit_thin_x ) ) 0.0 )
444 ( >= ( + spring_edit_thin_kid_0_x spring_edit_thin_kid_0_width ( * -1.0 spring_edit_thin_x ) ( * -1.0 spring_edit_thin_width ) ) 0.0 )
445 ( >= ( + spring_edit_thin_y ( * -1.0 spring_edit_thin_kid_0_y ) ) 0.0 )
446 ( >= ( + spring_edit_thin_kid_0_hight ( * -1.0 spring_edit_thin_y ) ( * -1.0 spring_edit_thin_hight ) spring_edit_thin_kid_0_y ) 0.0 )
447 ( <= staples_width 200.0 )
448 ( >= staples_width 200.0 )
449 ( <= staples_hight 50.0 )
450 ( >= staples_hight 50.0 )
451 ( <= ( + fashion_sales_x ( * -1.0 staples_x ) ) 0.0 )
452 ( >= ( + fashion_sales_x ( * -1.0 staples_x ) ) 0.0 )
453 ( >= staple_items_kid_0_x 0.0 )
454 ( >= staple_items_kid_0_y 0.0 )
455 ( >= staple_items_kid_0_width 0.0 )
456 ( >= staple_items_kid_0_hight 0.0 )
457 ( >= staple_items_kid_1_x 0.0 )
458 ( >= staple_items_kid_1_y 0.0 )
459 ( >= staple_items_kid_1_width 0.0 )
460 ( >= staple_items_kid_1_hight 0.0 )
461 ( >= staple_items_kid_2_x 0.0 )
462 ( >= staple_items_kid_2_y 0.0 )
463 ( >= staple_items_kid_2_width 0.0 )
464 ( >= staple_items_kid_2_hight 0.0 )
465 ( >= staple_items_kid_3_x 0.0 )
466 ( >= staple_items_kid_3_y 0.0 )
467 ( >= staple_items_kid_3_width 0.0 )
468 ( >= staple_items_kid_3_hight 0.0 )
469 ( >= staple_items_kid_4_x 0.0 )
470 ( >= staple_items_kid_4_y 0.0 )
471 ( >= staple_items_kid_4_width 0.0 )
472 ( >= staple_items_kid_4_hight 0.0 )
473 ( >= staple_items_kid_5_x 0.0 )
474 ( >= staple_items_kid_5_y 0.0 )
475 ( >= staple_items_kid_5_width 0.0 )
476 ( >= staple_items_kid_5_hight 0.0 )
477 ( >= staple_items_kid_6_x 0.0 )
478 ( >= staple_items_kid_6_y 0.0 )
479 ( >= staple_items_kid_6_width 0.0 )
480 ( >= staple_items_kid_6_hight 0.0 )
481 ( <= ( + staple_items_x ( * -1.0 staple_items_kid_0_x ) ) 0.0 )
482 ( >= ( + staple_items_x ( * -1.0 staple_items_kid_0_x ) ) 0.0 )
483 ( <= ( + staple_items_width staple_items_x ( * -1.0 staple_items_kid_6_width ) ( * -1.0 staple_items_kid_6_x ) ) 0.0 )
484 ( >= ( + staple_items_width staple_items_x ( * -1.0 staple_items_kid_6_width ) ( * -1.0 staple_items_kid_6_x ) ) 0.0 )
485 ( <= ( + staple_items_y ( * -1.0 staple_items_kid_0_y ) ) 0.0 )
486 ( >= ( + staple_items_y ( * -1.0 staple_items_kid_0_y ) ) 0.0 )
487 ( <= ( + staple_items_y ( * -1.0 staple_items_kid_1_y ) ) 0.0 )
488 ( >= ( + staple_items_y ( * -1.0 staple_items_kid_1_y ) ) 0.0 )
489 ( <= ( + staple_items_y ( * -1.0 staple_items_kid_2_y ) ) 0.0 )
490 ( >= ( + staple_items_y ( * -1.0 staple_items_kid_2_y ) ) 0.0 )
491 ( <= ( + staple_items_y ( * -1.0 staple_items_kid_3_y ) ) 0.0 )
492 ( >= ( + staple_items_y ( * -1.0 staple_items_kid_3_y ) ) 0.0 )
493 ( <= ( + staple_items_y ( * -1.0 staple_items_kid_4_y ) ) 0.0 )
494 ( >= ( + staple_items_y ( * -1.0 staple_items_kid_4_y ) ) 0.0 )
495 ( <= ( + staple_items_y ( * -1.0 staple_items_kid_5_y ) ) 0.0 )
496 ( >= ( + staple_items_y ( * -1.0 staple_items_kid_5_y ) ) 0.0 )
497 ( <= ( + staple_items_kid_6_y ( * -1.0 staple_items_y ) ) 0.0 )
498 ( >= ( + staple_items_kid_6_y ( * -1.0 staple_items_y ) ) 0.0 )
499 ( <= ( + staple_items_kid_0_hight ( * -1.0 staple_items_hight ) ( * -1.0 staple_items_y ) staple_items_kid_0_y ) 0.0 )
500 ( >= ( + staple_items_kid_0_hight ( * -1.0 staple_items_hight ) ( * -1.0 staple_items_y ) staple_items_kid_0_y ) 0.0 )
501 ( <= ( + staple_items_kid_1_hight ( * -1.0 staple_items_hight ) ( * -1.0 staple_items_y ) staple_items_kid_1_y ) 0.0 )
502 ( >= ( + staple_items_kid_1_hight ( * -1.0 staple_items_hight ) ( * -1.0 staple_items_y ) staple_items_kid_1_y ) 0.0 )
503 ( <= ( + staple_items_kid_2_hight ( * -1.0 staple_items_hight ) ( * -1.0 staple_items_y ) staple_items_kid_2_y ) 0.0 )
504 ( >= ( + staple_items_kid_2_hight ( * -1.0 staple_items_hight ) ( * -1.0 staple_items_y ) staple_items_kid_2_y ) 0.0 )
505 ( <= ( + staple_items_kid_3_hight ( * -1.0 staple_items_hight ) ( * -1.0 staple_items_y ) staple_items_kid_3_y ) 0.0 )
506 ( >= ( + staple_items_kid_3_hight ( * -1.0 staple_items_hight ) ( * -1.0 staple_items_y ) staple_items_kid_3_y ) 0.0 )
507 ( <= ( + staple_items_kid_4_hight ( * -1.0 staple_items_hight ) ( * -1.0 staple_items_y ) staple_items_kid_4_y ) 0.0 )
508 ( >= ( + staple_items_kid_4_hight ( * -1.0 staple_items_hight ) ( * -1.0 staple_items_y ) staple_items_kid_4_y ) 0.0 )
509 ( <= ( + staple_items_kid_5_hight ( * -1.0 staple_items_hight ) ( * -1.0 staple_items_y ) staple_items_kid_5_y ) 0.0 )
510 ( >= ( + staple_items_kid_5_hight ( * -1.0 staple_items_hight ) ( * -1.0 staple_items_y ) staple_items_kid_5_y ) 0.0 )
511 ( <= ( + staple_items_kid_6_hight ( * -1.0 staple_items_hight ) staple_items_kid_6_y ( * -1.0 staple_items_y ) ) 0.0 )
512 ( >= ( + staple_items_kid_6_hight ( * -1.0 staple_items_hight ) staple_items_kid_6_y ( * -1.0 staple_items_y ) ) 0.0 )
513 ( >= ( + staple_items_width staple_items_x ( * -1.0 staple_items_kid_0_width ) ( * -1.0 staple_items_kid_0_x ) ) 0.0 )
514 ( <= ( + staple_items_x ( * -1.0 staple_items_kid_1_x ) ) 0.0 )
515 ( >= ( + staple_items_width staple_items_x ( * -1.0 staple_items_kid_1_width ) ( * -1.0 staple_items_kid_1_x ) ) 0.0 )
516 ( <= ( + staple_items_x ( * -1.0 staple_items_kid_2_x ) ) 0.0 )
517 ( >= ( + staple_items_width staple_items_x ( * -1.0 staple_items_kid_2_width ) ( * -1.0 staple_items_kid_2_x ) ) 0.0 )
518 ( <= ( + staple_items_x ( * -1.0 staple_items_kid_3_x ) ) 0.0 )
519 ( >= ( + staple_items_width staple_items_x ( * -1.0 staple_items_kid_3_width ) ( * -1.0 staple_items_kid_3_x ) ) 0.0 )
520 ( <= ( + staple_items_x ( * -1.0 staple_items_kid_4_x ) ) 0.0 )
521 ( >= ( + staple_items_width staple_items_x ( * -1.0 staple_items_kid_4_width ) ( * -1.0 staple_items_kid_4_x ) ) 0.0 )
522 ( <= ( + staple_items_x ( * -1.0 staple_items_kid_5_x ) ) 0.0 )
523 ( >= ( + staple_items_width staple_items_x ( * -1.0 staple_items_kid_5_width ) ( * -1.0 staple_items_kid_5_x ) ) 0.0 )
524 ( <= ( + staple_items_x ( * -1.0 staple_items_kid_6_x ) ) 0.0 )
525 ( <= ( + staple_items_kid_0_width ( * -1.0 staple_items_kid_1_x ) staple_items_kid_0_x ) -10.0 )
526 ( >= ( + staple_items_kid_0_width ( * -1.0 staple_items_kid_1_x ) staple_items_kid_0_x ) -10.0 )
527 ( <= ( + staple_items_kid_1_width ( * -1.0 staple_items_kid_2_x ) staple_items_kid_1_x ) -10.0 )
528 ( >= ( + staple_items_kid_1_width ( * -1.0 staple_items_kid_2_x ) staple_items_kid_1_x ) -10.0 )
529 ( <= ( + staple_items_kid_2_width ( * -1.0 staple_items_kid_3_x ) staple_items_kid_2_x ) -10.0 )
530 ( >= ( + staple_items_kid_2_width ( * -1.0 staple_items_kid_3_x ) staple_items_kid_2_x ) -10.0 )
531 ( <= ( + staple_items_kid_3_width ( * -1.0 staple_items_kid_4_x ) staple_items_kid_3_x ) -10.0 )
532 ( >= ( + staple_items_kid_3_width ( * -1.0 staple_items_kid_4_x ) staple_items_kid_3_x ) -10.0 )
533 ( <= ( + staple_items_kid_4_width ( * -1.0 staple_items_kid_5_x ) staple_items_kid_4_x ) -10.0 )
534 ( >= ( + staple_items_kid_4_width ( * -1.0 staple_items_kid_5_x ) staple_items_kid_4_x ) -10.0 )
535 ( <= ( + staple_items_kid_5_width ( * -1.0 staple_items_kid_6_x ) staple_items_kid_5_x ) -10.0 )
536 ( >= ( + staple_items_kid_5_width ( * -1.0 staple_items_kid_6_x ) staple_items_kid_5_x ) -10.0 )
537 ( <= ( + staple_items_kid_0_hight ( * -1.0 staple_items_kid_0_width ) ) 0.0 )
538 ( >= ( + staple_items_kid_0_hight ( * -1.0 staple_items_kid_0_width ) ) 0.0 )
539 ( <= ( + staple_items_kid_1_width ( * -1.0 staple_items_kid_1_hight ) ) 0.0 )
540 ( >= ( + staple_items_kid_1_width ( * -1.0 staple_items_kid_1_hight ) ) 0.0 )
541 ( <= ( + staple_items_kid_2_hight ( * -1.0 staple_items_kid_2_width ) ) 0.0 )
542 ( >= ( + staple_items_kid_2_hight ( * -1.0 staple_items_kid_2_width ) ) 0.0 )
543 ( <= ( + staple_items_kid_3_hight ( * -1.0 staple_items_kid_3_width ) ) 0.0 )
544 ( >= ( + staple_items_kid_3_hight ( * -1.0 staple_items_kid_3_width ) ) 0.0 )
545 ( <= ( + staple_items_kid_4_hight ( * -1.0 staple_items_kid_4_width ) ) 0.0 )
546 ( >= ( + staple_items_kid_4_hight ( * -1.0 staple_items_kid_4_width ) ) 0.0 )
547 ( <= ( + staple_items_kid_5_hight ( * -1.0 staple_items_kid_5_width ) ) 0.0 )
548 ( >= ( + staple_items_kid_5_hight ( * -1.0 staple_items_kid_5_width ) ) 0.0 )
549 ( <= ( + staple_items_kid_6_width ( * -1.0 staple_items_kid_6_hight ) ) 0.0 )
550 ( >= ( + staple_items_kid_6_width ( * -1.0 staple_items_kid_6_hight ) ) 0.0 )
551 ( <= ( + fashion_sales_x ( * -1.0 staple_items_x ) ) 0.0 )
552 ( >= ( + fashion_sales_x ( * -1.0 staple_items_x ) ) 0.0 )
553 ( <= ( + fashion_sales_width ( * -1.0 staple_items_width ) ) 0.0 )
554 ( >= ( + fashion_sales_width ( * -1.0 staple_items_width ) ) 0.0 )
555 ( >= basic_right_pic_holder_x 0.0 )
556 ( >= basic_right_pic_holder_y 0.0 )
557 ( >= basic_right_pic_holder_width 0.0 )
558 ( >= basic_right_pic_holder_hight 0.0 )
559 ( >= basic_right_bottom_x 0.0 )
560 ( >= basic_right_bottom_y 0.0 )
561 ( >= basic_right_bottom_width 0.0 )
562 ( <= ( + fashion_sales_x ( * -1.0 basic_right_x ) ) 0.0 )
563 ( >= ( + fashion_sales_x ( * -1.0 basic_right_x ) ) 0.0 )
564 ( <= ( + fashion_sales_width ( * -1.0 basic_right_width ) ) 0.0 )
565 ( >= ( + fashion_sales_width ( * -1.0 basic_right_width ) ) 0.0 )
566 ( <= ( + basic_right_pic_holder_hight basic_right_pic_holder_y ( * -1.0 basic_right_hight ) ( * -1.0 basic_right_y ) ) 0.0 )
567 ( >= ( + basic_right_bottom_y ( * -1.0 basic_right_y ) ) 0.0 )
568 ( <= ( + basic_right_bottom_y ( * -1.0 basic_right_hight ) ( * -1.0 basic_right_y ) ) -50.0 )
569 ( <= ( + basic_right_pic_holder_x ( * -1.0 basic_right_x ) ) 0.0 )
570 ( >= ( + basic_right_pic_holder_x ( * -1.0 basic_right_x ) ) 0.0 )
571 ( <= ( + basic_right_bottom_x ( * -1.0 basic_right_x ) ) 0.0 )
572 ( >= ( + basic_right_bottom_x ( * -1.0 basic_right_x ) ) 0.0 )
573 ( <= ( + basic_right_pic_holder_width basic_right_pic_holder_x ( * -1.0 basic_right_x ) ( * -1.0 basic_right_width ) ) 0.0 )
574 ( >= ( + basic_right_pic_holder_width basic_right_pic_holder_x ( * -1.0 basic_right_x ) ( * -1.0 basic_right_width ) ) 0.0 )
575 ( <= ( + basic_right_bottom_x basic_right_bottom_width ( * -1.0 basic_right_x ) ( * -1.0 basic_right_width ) ) 0.0 )
576 ( >= ( + basic_right_bottom_x basic_right_bottom_width ( * -1.0 basic_right_x ) ( * -1.0 basic_right_width ) ) 0.0 )
577 ( <= ( + basic_right_pic_holder_y ( * -1.0 basic_right_y ) ) 0.0 )
578 ( >= ( + basic_right_pic_holder_y ( * -1.0 basic_right_y ) ) 0.0 )
579 ( >= ( + basic_right_bottom_y ( * -1.0 basic_right_hight ) ( * -1.0 basic_right_y ) ) -50.0 )
580 ( <= ( + basic_right_bottom_y ( * -1.0 basic_right_pic_holder_hight ) ( * -1.0 basic_right_pic_holder_y ) ) 10.0 )
581 ( >= ( + basic_right_bottom_y ( * -1.0 basic_right_pic_holder_hight ) ( * -1.0 basic_right_pic_holder_y ) ) 10.0 )
582 ( >= basic_right_pic_x 0.0 )
583 ( >= basic_right_pic_y 0.0 )
584 ( >= basic_right_pic_width 0.0 )
585 ( >= basic_right_pic_hight 0.0 )
586 ( >= basic_right_pic_thin_x 0.0 )
587 ( >= basic_right_pic_thin_y 0.0 )
588 ( >= basic_right_pic_thin_width 0.0 )
589 ( >= basic_right_pic_thin_hight 0.0 )
590 basic_right_pic_feasible
591 ( <= ( + basic_right_pic_x ( * -1.0 basic_right_pic_holder_x ) ) 0.0 )
592 ( >= ( + basic_right_pic_x ( * -1.0 basic_right_pic_holder_x ) ) 0.0 )
593 ( <= ( + basic_right_pic_width basic_right_pic_x ( * -1.0 basic_right_pic_holder_width ) ( * -1.0 basic_right_pic_holder_x ) ) 0.0 )
594 ( >= ( + basic_right_pic_width basic_right_pic_x ( * -1.0 basic_right_pic_holder_width ) ( * -1.0 basic_right_pic_holder_x ) ) 0.0 )
595 ( <= ( + basic_right_pic_y ( * -1.0 basic_right_pic_holder_y ) ) 0.0 )
596 ( >= ( + basic_right_pic_y ( * -1.0 basic_right_pic_holder_y ) ) 0.0 )
597 ( <= ( + basic_right_pic_y basic_right_pic_hight ( * -1.0 basic_right_pic_holder_hight ) ( * -1.0 basic_right_pic_holder_y ) ) 0.0 )
598 ( >= ( + basic_right_pic_y basic_right_pic_hight ( * -1.0 basic_right_pic_holder_hight ) ( * -1.0 basic_right_pic_holder_y ) ) 0.0 )
599 basic_right_pic_thin_feasible
600 ( <= ( + basic_right_pic_thin_x ( * -1.0 basic_right_pic_holder_x ) ) 0.0 )
601 ( >= ( + basic_right_pic_thin_x ( * -1.0 basic_right_pic_holder_x ) ) 0.0 )
602 ( <= ( + basic_right_pic_holder_width ( * -1.0 basic_right_pic_thin_x ) ( * -1.0 basic_right_pic_thin_width ) basic_right_pic_holder_x ) 0.0 )
603 ( >= ( + basic_right_pic_holder_width ( * -1.0 basic_right_pic_thin_x ) ( * -1.0 basic_right_pic_thin_width ) basic_right_pic_holder_x ) 0.0 )
604 ( <= ( + basic_right_pic_thin_y ( * -1.0 basic_right_pic_holder_y ) ) 0.0 )
605 ( >= ( + basic_right_pic_thin_y ( * -1.0 basic_right_pic_holder_y ) ) 0.0 )
606 ( <= ( + basic_right_pic_holder_hight ( * -1.0 basic_right_pic_thin_y ) ( * -1.0 basic_right_pic_thin_hight ) basic_right_pic_holder_y ) 0.0 )
607 ( >= ( + basic_right_pic_holder_hight ( * -1.0 basic_right_pic_thin_y ) ( * -1.0 basic_right_pic_thin_hight ) basic_right_pic_holder_y ) 0.0 )
608 ( <= ( + ( * 5.0 basic_right_pic_holder_hight ) ( * -1.0 basic_right_pic_holder_width ) ) 0.0 )
609 ( >= ( + ( * 5.0 basic_right_pic_holder_hight ) ( * -1.0 basic_right_pic_holder_width ) ) 0.0 )
610 ( >= basic_right_pic_kid_0_x 0.0 )
611 ( >= basic_right_pic_kid_0_y 0.0 )
612 ( >= basic_right_pic_kid_0_width 0.0 )
613 ( >= basic_right_pic_kid_0_hight 0.0 )
614 ( >= basic_right_pic_kid_1_x 0.0 )
615 ( >= basic_right_pic_kid_1_y 0.0 )
616 ( >= basic_right_pic_kid_1_width 0.0 )
617 ( >= basic_right_pic_kid_1_hight 0.0 )
618 ( >= ( + basic_right_pic_kid_0_x ( * -1.0 basic_right_pic_x ) ) 0.0 )
619 ( <= ( + basic_right_pic_kid_0_width basic_right_pic_kid_0_x ( * -1.0 basic_right_pic_width ) ( * -1.0 basic_right_pic_x ) ) 0.0 )
620 ( <= ( + basic_right_pic_y ( * -1.0 basic_right_pic_kid_0_y ) ) 0.0 )
621 ( >= ( + basic_right_pic_y basic_right_pic_hight ( * -1.0 basic_right_pic_kid_0_y ) ( * -1.0 basic_right_pic_kid_0_hight ) ) 0.0 )
622 ( >= ( + basic_right_pic_kid_1_x ( * -1.0 basic_right_pic_x ) ) 0.0 )
623 ( <= ( + basic_right_pic_kid_1_width basic_right_pic_kid_1_x ( * -1.0 basic_right_pic_width ) ( * -1.0 basic_right_pic_x ) ) 0.0 )
624 ( <= ( + basic_right_pic_y ( * -1.0 basic_right_pic_kid_1_y ) ) 0.0 )
625 ( <= ( + basic_right_pic_kid_1_hight ( * -1.0 basic_right_pic_y ) ( * -1.0 basic_right_pic_hight ) basic_right_pic_kid_1_y ) 0.0 )
626 ( <= ( + basic_right_pic_kid_0_width ( * -1.0 basic_right_pic_kid_1_x ) basic_right_pic_kid_0_x ) 0.0 )
627 ( <= ( + basic_right_pic_kid_0_x ( * -1.0 basic_right_pic_x ) ) 0.0 )
628 ( >= ( + basic_right_pic_kid_1_width basic_right_pic_kid_1_x ( * -1.0 basic_right_pic_width ) ( * -1.0 basic_right_pic_x ) ) 0.0 )
629 ( >= ( + basic_right_pic_y ( * -1.0 basic_right_pic_kid_0_y ) ) 0.0 )
630 ( >= ( + basic_right_pic_y ( * -1.0 basic_right_pic_kid_1_y ) ) 0.0 )
631 ( <= ( + basic_right_pic_y basic_right_pic_hight ( * -1.0 basic_right_pic_kid_0_y ) ( * -1.0 basic_right_pic_kid_0_hight ) ) 0.0 )
632 ( >= ( + basic_right_pic_kid_1_hight ( * -1.0 basic_right_pic_y ) ( * -1.0 basic_right_pic_hight ) basic_right_pic_kid_1_y ) 0.0 )
633 ( >= ( + basic_right_pic_kid_0_width ( * -1.0 basic_right_pic_kid_1_x ) basic_right_pic_kid_0_x ) 0.0 )
634 ( <= ( + basic_right_pic_kid_0_width ( * -1.0 basic_right_pic_kid_1_width ) ) 0.0 )
635 ( >= ( + basic_right_pic_kid_0_width ( * -1.0 basic_right_pic_kid_1_width ) ) 0.0 )
636 ( >= basic_right_pic_kid_0_width 500.0 )
637 ( >= basic_right_bottom_kid_0_x 0.0 )
638 ( >= basic_right_bottom_kid_0_y 0.0 )
639 ( >= basic_right_bottom_kid_0_width 0.0 )
640 ( >= basic_right_bottom_kid_0_hight 0.0 )
641 ( >= basic_right_bottom_kid_1_x 0.0 )
642 ( >= basic_right_bottom_kid_1_y 0.0 )
643 ( >= basic_right_bottom_kid_1_width 0.0 )
644 ( >= basic_right_bottom_kid_1_hight 0.0 )
645 ( >= basic_right_bottom_kid_2_x 0.0 )
646 ( >= basic_right_bottom_kid_2_y 0.0 )
647 ( >= basic_right_bottom_kid_2_width 0.0 )
648 ( >= basic_right_bottom_kid_2_hight 0.0 )
649 ( >= basic_right_bottom_kid_3_x 0.0 )
650 ( >= basic_right_bottom_kid_3_y 0.0 )
651 ( >= basic_right_bottom_kid_3_width 0.0 )
652 ( >= basic_right_bottom_kid_3_hight 0.0 )
653 ( >= basic_right_bottom_kid_4_x 0.0 )
654 ( >= basic_right_bottom_kid_4_y 0.0 )
655 ( >= basic_right_bottom_kid_4_width 0.0 )
656 ( >= basic_right_bottom_kid_4_hight 0.0 )
657 ( <= ( + basic_right_bottom_kid_0_width basic_right_bottom_kid_0_x ( * -1.0 basic_right_bottom_x ) ( * -1.0 basic_right_bottom_width ) ) 0.0 )
658 ( >= ( + basic_right_bottom_y ( * -1.0 basic_right_bottom_kid_0_y ) ( * -1.0 basic_right_bottom_kid_0_hight ) ) -50.0 )
659 ( >= ( + basic_right_bottom_kid_1_x ( * -1.0 basic_right_bottom_x ) ) 0.0 )
660 ( <= ( + basic_right_bottom_kid_1_width basic_right_bottom_kid_1_x ( * -1.0 basic_right_bottom_x ) ( * -1.0 basic_right_bottom_width ) ) 0.0 )
661 ( >= ( + basic_right_bottom_y ( * -1.0 basic_right_bottom_kid_1_y ) ( * -1.0 basic_right_bottom_kid_1_hight ) ) -50.0 )
662 ( >= ( + basic_right_bottom_kid_2_x ( * -1.0 basic_right_bottom_x ) ) 0.0 )
663 ( <= ( + basic_right_bottom_kid_2_width basic_right_bottom_kid_2_x ( * -1.0 basic_right_bottom_x ) ( * -1.0 basic_right_bottom_width ) ) 0.0 )
664 ( >= ( + basic_right_bottom_y ( * -1.0 basic_right_bottom_kid_2_y ) ( * -1.0 basic_right_bottom_kid_2_hight ) ) -50.0 )
665 ( >= ( + basic_right_bottom_kid_3_x ( * -1.0 basic_right_bottom_x ) ) 0.0 )
666 ( <= ( + basic_right_bottom_kid_3_width basic_right_bottom_kid_3_x ( * -1.0 basic_right_bottom_x ) ( * -1.0 basic_right_bottom_width ) ) 0.0 )
667 ( >= ( + basic_right_bottom_y ( * -1.0 basic_right_bottom_kid_3_y ) ( * -1.0 basic_right_bottom_kid_3_hight ) ) -50.0 )
668 ( >= ( + basic_right_bottom_kid_4_x ( * -1.0 basic_right_bottom_x ) ) 0.0 )
669 ( <= ( + basic_right_bottom_kid_4_y basic_right_bottom_kid_4_hight ( * -1.0 basic_right_bottom_y ) ) 50.0 )
670 ( <= ( + basic_right_bottom_kid_0_x ( * -1.0 basic_right_bottom_x ) ) 0.0 )
671 ( >= ( + basic_right_bottom_kid_0_x ( * -1.0 basic_right_bottom_x ) ) 0.0 )
672 ( <= ( + basic_right_bottom_kid_4_width basic_right_bottom_kid_4_x ( * -1.0 basic_right_bottom_x ) ( * -1.0 basic_right_bottom_width ) ) 0.0 )
673 ( >= ( + basic_right_bottom_kid_4_width basic_right_bottom_kid_4_x ( * -1.0 basic_right_bottom_x ) ( * -1.0 basic_right_bottom_width ) ) 0.0 )
674 ( <= ( + basic_right_bottom_y ( * -1.0 basic_right_bottom_kid_0_y ) ) 0.0 )
675 ( >= ( + basic_right_bottom_y ( * -1.0 basic_right_bottom_kid_0_y ) ) 0.0 )
676 ( <= ( + basic_right_bottom_y ( * -1.0 basic_right_bottom_kid_1_y ) ) 0.0 )
677 ( >= ( + basic_right_bottom_y ( * -1.0 basic_right_bottom_kid_1_y ) ) 0.0 )
678 ( <= ( + basic_right_bottom_y ( * -1.0 basic_right_bottom_kid_2_y ) ) 0.0 )
679 ( >= ( + basic_right_bottom_y ( * -1.0 basic_right_bottom_kid_2_y ) ) 0.0 )
680 ( <= ( + basic_right_bottom_y ( * -1.0 basic_right_bottom_kid_3_y ) ) 0.0 )
681 ( >= ( + basic_right_bottom_y ( * -1.0 basic_right_bottom_kid_3_y ) ) 0.0 )
682 ( <= ( + basic_right_bottom_kid_4_y ( * -1.0 basic_right_bottom_y ) ) 0.0 )
683 ( >= ( + basic_right_bottom_kid_4_y ( * -1.0 basic_right_bottom_y ) ) 0.0 )
684 ( <= ( + basic_right_bottom_y ( * -1.0 basic_right_bottom_kid_0_y ) ( * -1.0 basic_right_bottom_kid_0_hight ) ) -50.0 )
685 ( <= ( + basic_right_bottom_y ( * -1.0 basic_right_bottom_kid_1_y ) ( * -1.0 basic_right_bottom_kid_1_hight ) ) -50.0 )
686 ( <= ( + basic_right_bottom_y ( * -1.0 basic_right_bottom_kid_2_y ) ( * -1.0 basic_right_bottom_kid_2_hight ) ) -50.0 )
687 ( <= ( + basic_right_bottom_y ( * -1.0 basic_right_bottom_kid_3_y ) ( * -1.0 basic_right_bottom_kid_3_hight ) ) -50.0 )
688 ( >= ( + basic_right_bottom_kid_4_y basic_right_bottom_kid_4_hight ( * -1.0 basic_right_bottom_y ) ) 50.0 )
689 ( <= ( + basic_right_bottom_kid_0_width ( * -1.0 basic_right_bottom_kid_1_x ) basic_right_bottom_kid_0_x ) -10.0 )
690 ( >= ( + basic_right_bottom_kid_0_width ( * -1.0 basic_right_bottom_kid_1_x ) basic_right_bottom_kid_0_x ) -10.0 )
691 ( <= ( + basic_right_bottom_kid_1_width ( * -1.0 basic_right_bottom_kid_2_x ) basic_right_bottom_kid_1_x ) -10.0 )
692 ( >= ( + basic_right_bottom_kid_1_width ( * -1.0 basic_right_bottom_kid_2_x ) basic_right_bottom_kid_1_x ) -10.0 )
693 ( <= ( + basic_right_bottom_kid_2_width ( * -1.0 basic_right_bottom_kid_3_x ) basic_right_bottom_kid_2_x ) -10.0 )
694 ( >= ( + basic_right_bottom_kid_2_width ( * -1.0 basic_right_bottom_kid_3_x ) basic_right_bottom_kid_2_x ) -10.0 )
695 ( <= ( + basic_right_bottom_kid_3_width ( * -1.0 basic_right_bottom_kid_4_x ) basic_right_bottom_kid_3_x ) -10.0 )
696 ( >= ( + basic_right_bottom_kid_3_width ( * -1.0 basic_right_bottom_kid_4_x ) basic_right_bottom_kid_3_x ) -10.0 )
697 ( <= ( + basic_right_bottom_kid_0_width ( * -1.0 basic_right_bottom_kid_1_width ) ) 0.0 )
698 ( >= ( + basic_right_bottom_kid_0_width ( * -1.0 basic_right_bottom_kid_1_width ) ) 0.0 )
699 ( <= ( + basic_right_bottom_kid_0_width ( * -1.0 basic_right_bottom_kid_2_width ) ) 0.0 )
700 ( >= ( + basic_right_bottom_kid_0_width ( * -1.0 basic_right_bottom_kid_2_width ) ) 0.0 )
701 ( <= ( + basic_right_bottom_kid_0_width ( * -1.0 basic_right_bottom_kid_3_width ) ) 0.0 )
702 ( >= ( + basic_right_bottom_kid_0_width ( * -1.0 basic_right_bottom_kid_3_width ) ) 0.0 )
703 ( <= ( + basic_right_bottom_kid_0_width ( * -1.0 basic_right_bottom_kid_4_width ) ) 0.0 )
704 ( >= ( + basic_right_bottom_kid_0_width ( * -1.0 basic_right_bottom_kid_4_width ) ) 0.0 )
705 ( <= basic_right_bottom_hight 50.0 )
706 ( >= basic_right_bottom_hight 50.0 )
707 ( >= occation_title_x 0.0 )
708 ( >= occation_title_y 0.0 )
709 ( >= occation_pics_x 0.0 )
710 ( >= occation_pics_y 0.0 )
711 ( >= occation_pics_width 0.0 )
712 ( >= occation_pics_hight 0.0 )
713 ( >= ( + shop_occation_x shop_occation_width ( * -1.0 occation_title_x ) ) 200.0 )
714 ( >= ( + occation_title_y ( * -1.0 shop_occation_y ) ) 0.0 )
715 ( <= ( + occation_title_y ( * -1.0 shop_occation_y ) ( * -1.0 shop_occation_hight ) ) -50.0 )
716 ( >= ( + occation_pics_y ( * -1.0 shop_occation_y ) ) 0.0 )
717 ( <= ( + occation_pics_hight occation_pics_y ( * -1.0 shop_occation_y ) ( * -1.0 shop_occation_hight ) ) 0.0 )
718 ( >= ( + occation_pics_y ( * -1.0 occation_title_y ) ) 50.0 )
719 ( <= ( + fashion_sales_x ( * -1.0 shop_occation_x ) ) 0.0 )
720 ( >= ( + fashion_sales_x ( * -1.0 shop_occation_x ) ) 0.0 )
721 ( <= ( + fashion_sales_width ( * -1.0 shop_occation_width ) ) 0.0 )
722 ( >= ( + fashion_sales_width ( * -1.0 shop_occation_width ) ) 0.0 )
723 ( <= ( + occation_pics_y ( * -1.0 occation_title_y ) ) 60.0 )
724 ( >= ( + occation_pics_y ( * -1.0 occation_title_y ) ) 60.0 )
725 ( <= occation_title_width 200.0 )
726 ( >= occation_title_width 200.0 )
727 ( <= occation_title_hight 50.0 )
728 ( >= occation_title_hight 50.0 )
729 ( <= ( + shop_occation_x ( * -1.0 occation_title_x ) ) 0.0 )
730 ( >= ( + shop_occation_x ( * -1.0 occation_title_x ) ) 0.0 )
731 ( >= occation_pics_kid_0_x 0.0 )
732 ( >= occation_pics_kid_0_y 0.0 )
733 ( >= occation_pics_kid_0_width 0.0 )
734 ( >= occation_pics_kid_0_hight 0.0 )
735 ( >= occation_pics_kid_1_x 0.0 )
736 ( >= occation_pics_kid_1_y 0.0 )
737 ( >= occation_pics_kid_1_width 0.0 )
738 ( >= occation_pics_kid_1_hight 0.0 )
739 ( >= occation_pics_kid_2_x 0.0 )
740 ( >= occation_pics_kid_2_y 0.0 )
741 ( >= occation_pics_kid_2_width 0.0 )
742 ( >= occation_pics_kid_2_hight 0.0 )
743 ( >= occation_pics_kid_3_x 0.0 )
744 ( >= occation_pics_kid_3_y 0.0 )
745 ( >= occation_pics_kid_3_width 0.0 )
746 ( >= occation_pics_kid_3_hight 0.0 )
747 ( <= ( + occation_pics_x ( * -1.0 shop_occation_x ) ) 0.0 )
748 ( >= ( + occation_pics_x ( * -1.0 shop_occation_x ) ) 0.0 )
749 ( <= ( + occation_pics_x occation_pics_width ( * -1.0 shop_occation_x ) ( * -1.0 shop_occation_width ) ) 0.0 )
750 ( >= ( + occation_pics_x occation_pics_width ( * -1.0 shop_occation_x ) ( * -1.0 shop_occation_width ) ) 0.0 )
751 ( <= ( + occation_pics_kid_0_width occation_pics_kid_0_x ( * -1.0 occation_pics_kid_1_x ) ) -10.0 )
752 ( >= ( + occation_pics_kid_0_width occation_pics_kid_0_x ( * -1.0 occation_pics_kid_1_x ) ) -10.0 )
753 ( <= ( + occation_pics_kid_1_width ( * -1.0 occation_pics_kid_2_x ) occation_pics_kid_1_x ) -10.0 )
754 ( >= ( + occation_pics_kid_1_width ( * -1.0 occation_pics_kid_2_x ) occation_pics_kid_1_x ) -10.0 )
755 ( <= ( + occation_pics_kid_2_width ( * -1.0 occation_pics_kid_3_x ) occation_pics_kid_2_x ) -10.0 )
756 ( >= ( + occation_pics_kid_2_width ( * -1.0 occation_pics_kid_3_x ) occation_pics_kid_2_x ) -10.0 )
757 ( <= ( + occation_pics_x ( * -1.0 occation_pics_kid_0_x ) ) 0.0 )
758 ( >= ( + occation_pics_x ( * -1.0 occation_pics_kid_0_x ) ) 0.0 )
759 ( <= ( + occation_pics_kid_3_width ( * -1.0 occation_pics_x ) ( * -1.0 occation_pics_width ) occation_pics_kid_3_x ) 0.0 )
760 ( >= ( + occation_pics_kid_3_width ( * -1.0 occation_pics_x ) ( * -1.0 occation_pics_width ) occation_pics_kid_3_x ) 0.0 )
761 ( <= ( + occation_pics_y ( * -1.0 occation_pics_kid_0_y ) ) 0.0 )
762 ( >= ( + occation_pics_y ( * -1.0 occation_pics_kid_0_y ) ) 0.0 )
763 ( <= ( + occation_pics_y ( * -1.0 occation_pics_kid_1_y ) ) 0.0 )
764 ( >= ( + occation_pics_y ( * -1.0 occation_pics_kid_1_y ) ) 0.0 )
765 ( <= ( + occation_pics_y ( * -1.0 occation_pics_kid_2_y ) ) 0.0 )
766 ( >= ( + occation_pics_y ( * -1.0 occation_pics_kid_2_y ) ) 0.0 )
767 ( <= ( + occation_pics_kid_3_y ( * -1.0 occation_pics_y ) ) 0.0 )
768 ( >= ( + occation_pics_kid_3_y ( * -1.0 occation_pics_y ) ) 0.0 )
769 ( <= ( + occation_pics_kid_0_hight ( * -1.0 occation_pics_hight ) ( * -1.0 occation_pics_y ) occation_pics_kid_0_y ) 0.0 )
770 ( >= ( + occation_pics_kid_0_hight ( * -1.0 occation_pics_hight ) ( * -1.0 occation_pics_y ) occation_pics_kid_0_y ) 0.0 )
771 ( <= ( + occation_pics_kid_1_hight ( * -1.0 occation_pics_hight ) ( * -1.0 occation_pics_y ) occation_pics_kid_1_y ) 0.0 )
772 ( >= ( + occation_pics_kid_1_hight ( * -1.0 occation_pics_hight ) ( * -1.0 occation_pics_y ) occation_pics_kid_1_y ) 0.0 )
773 ( <= ( + occation_pics_kid_2_hight ( * -1.0 occation_pics_hight ) ( * -1.0 occation_pics_y ) occation_pics_kid_2_y ) 0.0 )
774 ( >= ( + occation_pics_kid_2_hight ( * -1.0 occation_pics_hight ) ( * -1.0 occation_pics_y ) occation_pics_kid_2_y ) 0.0 )
775 ( <= ( + occation_pics_kid_3_hight ( * -1.0 occation_pics_hight ) occation_pics_kid_3_y ( * -1.0 occation_pics_y ) ) 0.0 )
776 ( >= ( + occation_pics_kid_3_hight ( * -1.0 occation_pics_hight ) occation_pics_kid_3_y ( * -1.0 occation_pics_y ) ) 0.0 )
777 ( <= ( + occation_pics_kid_0_width ( * -1.0 occation_pics_kid_0_hight ) ) 0.0 )
778 ( >= ( + occation_pics_kid_0_width ( * -1.0 occation_pics_kid_0_hight ) ) 0.0 )
779 ( <= ( + occation_pics_kid_1_hight ( * -1.0 occation_pics_kid_1_width ) ) 0.0 )
780 ( >= ( + occation_pics_kid_1_hight ( * -1.0 occation_pics_kid_1_width ) ) 0.0 )
781 ( <= ( + occation_pics_kid_2_width ( * -1.0 occation_pics_kid_2_hight ) ) 0.0 )
782 ( >= ( + occation_pics_kid_2_width ( * -1.0 occation_pics_kid_2_hight ) ) 0.0 )
783 ( <= ( + occation_pics_kid_3_hight ( * -1.0 occation_pics_kid_3_width ) ) 0.0 )
784 ( >= ( + occation_pics_kid_3_hight ( * -1.0 occation_pics_kid_3_width ) ) 0.0 )
785 ( >= icon_tbl_kid_0_x 0.0 )
786 ( >= icon_tbl_kid_0_y 0.0 )
787 ( >= icon_tbl_kid_0_width 0.0 )
788 ( >= icon_tbl_kid_0_hight 0.0 )
789 ( >= icon_tbl_kid_1_x 0.0 )
790 ( >= icon_tbl_kid_1_y 0.0 )
791 ( >= icon_tbl_kid_1_width 0.0 )
792 ( >= icon_tbl_kid_1_hight 0.0 )
793 ( >= icon_tbl_kid_2_x 0.0 )
794 ( >= icon_tbl_kid_2_y 0.0 )
795 ( >= icon_tbl_kid_2_width 0.0 )
796 ( >= icon_tbl_kid_2_hight 0.0 )
797 ( >= icon_tbl_kid_3_x 0.0 )
798 ( >= icon_tbl_kid_3_y 0.0 )
799 ( >= icon_tbl_kid_3_width 0.0 )
800 ( >= icon_tbl_kid_3_hight 0.0 )
801 ( >= icon_tbl_kid_4_x 0.0 )
802 ( >= icon_tbl_kid_4_y 0.0 )
803 ( >= icon_tbl_kid_4_width 0.0 )
804 ( >= icon_tbl_kid_4_hight 0.0 )
805 ( >= icon_tbl_kid_5_x 0.0 )
806 ( >= icon_tbl_kid_5_y 0.0 )
807 ( >= icon_tbl_kid_5_width 0.0 )
808 ( >= icon_tbl_kid_5_hight 0.0 )
809 ( >= icon_tbl_kid_6_x 0.0 )
810 ( >= icon_tbl_kid_6_y 0.0 )
811 ( >= icon_tbl_kid_6_width 0.0 )
812 ( >= icon_tbl_kid_6_hight 0.0 )
813 ( >= icon_tbl_kid_7_x 0.0 )
814 ( >= icon_tbl_kid_7_y 0.0 )
815 ( >= icon_tbl_kid_7_width 0.0 )
816 ( >= icon_tbl_kid_7_hight 0.0 )
817 ( >= icon_tbl_kid_8_x 0.0 )
818 ( >= icon_tbl_kid_8_y 0.0 )
819 ( >= icon_tbl_kid_8_width 0.0 )
820 ( >= icon_tbl_kid_8_hight 0.0 )
821 ( >= icon_tbl_kid_9_x 0.0 )
822 ( >= icon_tbl_kid_9_y 0.0 )
823 ( >= icon_tbl_kid_9_width 0.0 )
824 ( >= icon_tbl_kid_9_hight 0.0 )
825 ( >= icon_tbl_kid_10_x 0.0 )
826 ( >= icon_tbl_kid_10_y 0.0 )
827 ( >= icon_tbl_kid_10_width 0.0 )
828 ( >= icon_tbl_kid_10_hight 0.0 )
829 ( >= icon_tbl_kid_11_x 0.0 )
830 ( >= icon_tbl_kid_11_y 0.0 )
831 ( >= icon_tbl_kid_11_width 0.0 )
832 ( >= icon_tbl_kid_11_hight 0.0 )
833 ( >= icon_tbl_kid_12_x 0.0 )
834 ( >= icon_tbl_kid_12_y 0.0 )
835 ( >= icon_tbl_kid_12_width 0.0 )
836 ( >= icon_tbl_kid_12_hight 0.0 )
837 ( >= icon_tbl_kid_13_x 0.0 )
838 ( >= icon_tbl_kid_13_y 0.0 )
839 ( >= icon_tbl_kid_13_width 0.0 )
840 ( >= icon_tbl_kid_13_hight 0.0 )
841 ( >= icon_tbl_kid_14_x 0.0 )
842 ( >= icon_tbl_kid_14_y 0.0 )
843 ( >= icon_tbl_kid_14_width 0.0 )
844 ( >= icon_tbl_kid_14_hight 0.0 )
845 ( >= icon_tbl_kid_15_x 0.0 )
846 ( >= icon_tbl_kid_15_y 0.0 )
847 ( >= icon_tbl_kid_15_width 0.0 )
848 ( >= icon_tbl_kid_15_hight 0.0 )
849 ( >= icon_tbl_kid_16_x 0.0 )
850 ( >= icon_tbl_kid_16_y 0.0 )
851 ( >= icon_tbl_kid_16_width 0.0 )
852 ( >= icon_tbl_kid_16_hight 0.0 )
853 ( >= icon_tbl_kid_17_x 0.0 )
854 ( >= icon_tbl_kid_17_y 0.0 )
855 ( >= icon_tbl_kid_17_width 0.0 )
856 ( >= icon_tbl_kid_17_hight 0.0 )
857 ( <= ( + icon_tbl_x ( * -1.0 fashion_sales_x ) ) 0.0 )
858 ( >= ( + icon_tbl_x ( * -1.0 fashion_sales_x ) ) 0.0 )
859 ( <= ( + icon_tbl_width ( * -1.0 fashion_sales_width ) ) 0.0 )
860 ( >= ( + icon_tbl_width ( * -1.0 fashion_sales_width ) ) 0.0 )
861 ( <= ( + icon_tbl_kid_0_x ( * -1.0 icon_tbl_x ) ) 0.0 )
862 ( >= ( + icon_tbl_kid_0_x ( * -1.0 icon_tbl_x ) ) 0.0 )
863 ( <= ( + icon_tbl_kid_0_y ( * -1.0 icon_tbl_y ) ) 0.0 )
864 ( >= ( + icon_tbl_kid_0_y ( * -1.0 icon_tbl_y ) ) 0.0 )
865 ( <= ( + icon_tbl_kid_17_width icon_tbl_kid_17_x ( * -1.0 icon_tbl_width ) ( * -1.0 icon_tbl_x ) ) 0.0 )
866 ( >= ( + icon_tbl_kid_17_width icon_tbl_kid_17_x ( * -1.0 icon_tbl_width ) ( * -1.0 icon_tbl_x ) ) 0.0 )
867 ( <= ( + icon_tbl_kid_17_hight icon_tbl_kid_17_y ( * -1.0 icon_tbl_y ) ( * -1.0 icon_tbl_hight ) ) 0.0 )
868 ( >= ( + icon_tbl_kid_17_hight icon_tbl_kid_17_y ( * -1.0 icon_tbl_y ) ( * -1.0 icon_tbl_hight ) ) 0.0 )
869 ( <= ( + icon_tbl_kid_0_y ( * -1.0 icon_tbl_kid_1_y ) ) 0.0 )
870 ( >= ( + icon_tbl_kid_0_y ( * -1.0 icon_tbl_kid_1_y ) ) 0.0 )
871 ( <= ( + icon_tbl_kid_1_hight ( * -1.0 icon_tbl_kid_0_hight ) ) 0.0 )
872 ( >= ( + icon_tbl_kid_1_hight ( * -1.0 icon_tbl_kid_0_hight ) ) 0.0 )
873 ( <= ( + icon_tbl_kid_0_y ( * -1.0 icon_tbl_kid_2_y ) ) 0.0 )
874 ( >= ( + icon_tbl_kid_0_y ( * -1.0 icon_tbl_kid_2_y ) ) 0.0 )
875 ( <= ( + icon_tbl_kid_2_hight ( * -1.0 icon_tbl_kid_0_hight ) ) 0.0 )
876 ( >= ( + icon_tbl_kid_2_hight ( * -1.0 icon_tbl_kid_0_hight ) ) 0.0 )
877 ( <= ( + icon_tbl_kid_0_y ( * -1.0 icon_tbl_kid_3_y ) ) 0.0 )
878 ( >= ( + icon_tbl_kid_0_y ( * -1.0 icon_tbl_kid_3_y ) ) 0.0 )
879 ( <= ( + icon_tbl_kid_3_hight ( * -1.0 icon_tbl_kid_0_hight ) ) 0.0 )
880 ( >= ( + icon_tbl_kid_3_hight ( * -1.0 icon_tbl_kid_0_hight ) ) 0.0 )
881 ( <= ( + icon_tbl_kid_0_y ( * -1.0 icon_tbl_kid_4_y ) ) 0.0 )
882 ( >= ( + icon_tbl_kid_0_y ( * -1.0 icon_tbl_kid_4_y ) ) 0.0 )
883 ( <= ( + icon_tbl_kid_4_hight ( * -1.0 icon_tbl_kid_0_hight ) ) 0.0 )
884 ( >= ( + icon_tbl_kid_4_hight ( * -1.0 icon_tbl_kid_0_hight ) ) 0.0 )
885 ( <= ( + icon_tbl_kid_0_y ( * -1.0 icon_tbl_kid_5_y ) ) 0.0 )
886 ( >= ( + icon_tbl_kid_0_y ( * -1.0 icon_tbl_kid_5_y ) ) 0.0 )
887 ( <= ( + icon_tbl_kid_5_hight ( * -1.0 icon_tbl_kid_0_hight ) ) 0.0 )
888 ( >= ( + icon_tbl_kid_5_hight ( * -1.0 icon_tbl_kid_0_hight ) ) 0.0 )
889 ( <= ( + icon_tbl_kid_6_y ( * -1.0 icon_tbl_kid_7_y ) ) 0.0 )
890 ( >= ( + icon_tbl_kid_6_y ( * -1.0 icon_tbl_kid_7_y ) ) 0.0 )
891 ( <= ( + icon_tbl_kid_7_hight ( * -1.0 icon_tbl_kid_6_hight ) ) 0.0 )
892 ( >= ( + icon_tbl_kid_7_hight ( * -1.0 icon_tbl_kid_6_hight ) ) 0.0 )
893 ( <= ( + icon_tbl_kid_6_y ( * -1.0 icon_tbl_kid_8_y ) ) 0.0 )
894 ( >= ( + icon_tbl_kid_6_y ( * -1.0 icon_tbl_kid_8_y ) ) 0.0 )
895 ( <= ( + icon_tbl_kid_8_hight ( * -1.0 icon_tbl_kid_6_hight ) ) 0.0 )
896 ( >= ( + icon_tbl_kid_8_hight ( * -1.0 icon_tbl_kid_6_hight ) ) 0.0 )
897 ( <= ( + icon_tbl_kid_6_y ( * -1.0 icon_tbl_kid_9_y ) ) 0.0 )
898 ( >= ( + icon_tbl_kid_6_y ( * -1.0 icon_tbl_kid_9_y ) ) 0.0 )
899 ( <= ( + icon_tbl_kid_9_hight ( * -1.0 icon_tbl_kid_6_hight ) ) 0.0 )
900 ( >= ( + icon_tbl_kid_9_hight ( * -1.0 icon_tbl_kid_6_hight ) ) 0.0 )
901 ( <= ( + icon_tbl_kid_6_y ( * -1.0 icon_tbl_kid_10_y ) ) 0.0 )
902 ( >= ( + icon_tbl_kid_6_y ( * -1.0 icon_tbl_kid_10_y ) ) 0.0 )
903 ( <= ( + icon_tbl_kid_10_hight ( * -1.0 icon_tbl_kid_6_hight ) ) 0.0 )
904 ( >= ( + icon_tbl_kid_10_hight ( * -1.0 icon_tbl_kid_6_hight ) ) 0.0 )
905 ( <= ( + icon_tbl_kid_6_y ( * -1.0 icon_tbl_kid_11_y ) ) 0.0 )
906 ( >= ( + icon_tbl_kid_6_y ( * -1.0 icon_tbl_kid_11_y ) ) 0.0 )
907 ( <= ( + icon_tbl_kid_11_hight ( * -1.0 icon_tbl_kid_6_hight ) ) 0.0 )
908 ( >= ( + icon_tbl_kid_11_hight ( * -1.0 icon_tbl_kid_6_hight ) ) 0.0 )
909 ( <= ( + icon_tbl_kid_12_y ( * -1.0 icon_tbl_kid_13_y ) ) 0.0 )
910 ( >= ( + icon_tbl_kid_12_y ( * -1.0 icon_tbl_kid_13_y ) ) 0.0 )
911 ( <= ( + icon_tbl_kid_13_hight ( * -1.0 icon_tbl_kid_12_hight ) ) 0.0 )
912 ( >= ( + icon_tbl_kid_13_hight ( * -1.0 icon_tbl_kid_12_hight ) ) 0.0 )
913 ( <= ( + icon_tbl_kid_12_y ( * -1.0 icon_tbl_kid_14_y ) ) 0.0 )
914 ( >= ( + icon_tbl_kid_12_y ( * -1.0 icon_tbl_kid_14_y ) ) 0.0 )
915 ( <= ( + icon_tbl_kid_14_hight ( * -1.0 icon_tbl_kid_12_hight ) ) 0.0 )
916 ( >= ( + icon_tbl_kid_14_hight ( * -1.0 icon_tbl_kid_12_hight ) ) 0.0 )
917 ( <= ( + icon_tbl_kid_12_y ( * -1.0 icon_tbl_kid_15_y ) ) 0.0 )
918 ( >= ( + icon_tbl_kid_12_y ( * -1.0 icon_tbl_kid_15_y ) ) 0.0 )
919 ( <= ( + icon_tbl_kid_15_hight ( * -1.0 icon_tbl_kid_12_hight ) ) 0.0 )
920 ( >= ( + icon_tbl_kid_15_hight ( * -1.0 icon_tbl_kid_12_hight ) ) 0.0 )
921 ( <= ( + icon_tbl_kid_12_y ( * -1.0 icon_tbl_kid_16_y ) ) 0.0 )
922 ( >= ( + icon_tbl_kid_12_y ( * -1.0 icon_tbl_kid_16_y ) ) 0.0 )
923 ( <= ( + icon_tbl_kid_16_hight ( * -1.0 icon_tbl_kid_12_hight ) ) 0.0 )
924 ( >= ( + icon_tbl_kid_16_hight ( * -1.0 icon_tbl_kid_12_hight ) ) 0.0 )
925 ( <= ( + icon_tbl_kid_12_y ( * -1.0 icon_tbl_kid_17_y ) ) 0.0 )
926 ( >= ( + icon_tbl_kid_12_y ( * -1.0 icon_tbl_kid_17_y ) ) 0.0 )
927 ( <= ( + icon_tbl_kid_17_hight ( * -1.0 icon_tbl_kid_12_hight ) ) 0.0 )
928 ( >= ( + icon_tbl_kid_17_hight ( * -1.0 icon_tbl_kid_12_hight ) ) 0.0 )
929 ( <= ( + icon_tbl_kid_0_x ( * -1.0 icon_tbl_kid_6_x ) ) 0.0 )
930 ( >= ( + icon_tbl_kid_0_x ( * -1.0 icon_tbl_kid_6_x ) ) 0.0 )
931 ( <= ( + icon_tbl_kid_6_width ( * -1.0 icon_tbl_kid_0_width ) ) 0.0 )
932 ( >= ( + icon_tbl_kid_6_width ( * -1.0 icon_tbl_kid_0_width ) ) 0.0 )
933 ( <= ( + icon_tbl_kid_0_x ( * -1.0 icon_tbl_kid_12_x ) ) 0.0 )
934 ( >= ( + icon_tbl_kid_0_x ( * -1.0 icon_tbl_kid_12_x ) ) 0.0 )
935 ( <= ( + icon_tbl_kid_12_width ( * -1.0 icon_tbl_kid_0_width ) ) 0.0 )
936 ( >= ( + icon_tbl_kid_12_width ( * -1.0 icon_tbl_kid_0_width ) ) 0.0 )
937 ( <= ( + icon_tbl_kid_1_x ( * -1.0 icon_tbl_kid_7_x ) ) 0.0 )
938 ( >= ( + icon_tbl_kid_1_x ( * -1.0 icon_tbl_kid_7_x ) ) 0.0 )
939 ( <= ( + icon_tbl_kid_7_width ( * -1.0 icon_tbl_kid_1_width ) ) 0.0 )
940 ( >= ( + icon_tbl_kid_7_width ( * -1.0 icon_tbl_kid_1_width ) ) 0.0 )
941 ( <= ( + icon_tbl_kid_1_x ( * -1.0 icon_tbl_kid_13_x ) ) 0.0 )
942 ( >= ( + icon_tbl_kid_1_x ( * -1.0 icon_tbl_kid_13_x ) ) 0.0 )
943 ( <= ( + icon_tbl_kid_13_width ( * -1.0 icon_tbl_kid_1_width ) ) 0.0 )
944 ( >= ( + icon_tbl_kid_13_width ( * -1.0 icon_tbl_kid_1_width ) ) 0.0 )
945 ( <= ( + icon_tbl_kid_2_x ( * -1.0 icon_tbl_kid_8_x ) ) 0.0 )
946 ( >= ( + icon_tbl_kid_2_x ( * -1.0 icon_tbl_kid_8_x ) ) 0.0 )
947 ( <= ( + icon_tbl_kid_8_width ( * -1.0 icon_tbl_kid_2_width ) ) 0.0 )
948 ( >= ( + icon_tbl_kid_8_width ( * -1.0 icon_tbl_kid_2_width ) ) 0.0 )
949 ( <= ( + icon_tbl_kid_2_x ( * -1.0 icon_tbl_kid_14_x ) ) 0.0 )
950 ( >= ( + icon_tbl_kid_2_x ( * -1.0 icon_tbl_kid_14_x ) ) 0.0 )
951 ( <= ( + icon_tbl_kid_14_width ( * -1.0 icon_tbl_kid_2_width ) ) 0.0 )
952 ( >= ( + icon_tbl_kid_14_width ( * -1.0 icon_tbl_kid_2_width ) ) 0.0 )
953 ( <= ( + icon_tbl_kid_3_x ( * -1.0 icon_tbl_kid_9_x ) ) 0.0 )
954 ( >= ( + icon_tbl_kid_3_x ( * -1.0 icon_tbl_kid_9_x ) ) 0.0 )
955 ( <= ( + icon_tbl_kid_9_width ( * -1.0 icon_tbl_kid_3_width ) ) 0.0 )
956 ( >= ( + icon_tbl_kid_9_width ( * -1.0 icon_tbl_kid_3_width ) ) 0.0 )
957 ( <= ( + icon_tbl_kid_3_x ( * -1.0 icon_tbl_kid_15_x ) ) 0.0 )
958 ( >= ( + icon_tbl_kid_3_x ( * -1.0 icon_tbl_kid_15_x ) ) 0.0 )
959 ( <= ( + icon_tbl_kid_15_width ( * -1.0 icon_tbl_kid_3_width ) ) 0.0 )
960 ( >= ( + icon_tbl_kid_15_width ( * -1.0 icon_tbl_kid_3_width ) ) 0.0 )
961 ( <= ( + icon_tbl_kid_4_x ( * -1.0 icon_tbl_kid_10_x ) ) 0.0 )
962 ( >= ( + icon_tbl_kid_4_x ( * -1.0 icon_tbl_kid_10_x ) ) 0.0 )
963 ( <= ( + icon_tbl_kid_10_width ( * -1.0 icon_tbl_kid_4_width ) ) 0.0 )
964 ( >= ( + icon_tbl_kid_10_width ( * -1.0 icon_tbl_kid_4_width ) ) 0.0 )
965 ( <= ( + icon_tbl_kid_4_x ( * -1.0 icon_tbl_kid_16_x ) ) 0.0 )
966 ( >= ( + icon_tbl_kid_4_x ( * -1.0 icon_tbl_kid_16_x ) ) 0.0 )
967 ( <= ( + icon_tbl_kid_16_width ( * -1.0 icon_tbl_kid_4_width ) ) 0.0 )
968 ( >= ( + icon_tbl_kid_16_width ( * -1.0 icon_tbl_kid_4_width ) ) 0.0 )
969 ( <= ( + icon_tbl_kid_5_x ( * -1.0 icon_tbl_kid_11_x ) ) 0.0 )
970 ( >= ( + icon_tbl_kid_5_x ( * -1.0 icon_tbl_kid_11_x ) ) 0.0 )
971 ( <= ( + icon_tbl_kid_11_width ( * -1.0 icon_tbl_kid_5_width ) ) 0.0 )
972 ( >= ( + icon_tbl_kid_11_width ( * -1.0 icon_tbl_kid_5_width ) ) 0.0 )
973 ( <= ( + icon_tbl_kid_5_x ( * -1.0 icon_tbl_kid_17_x ) ) 0.0 )
974 ( >= ( + icon_tbl_kid_5_x ( * -1.0 icon_tbl_kid_17_x ) ) 0.0 )
975 ( <= ( + icon_tbl_kid_17_width ( * -1.0 icon_tbl_kid_5_width ) ) 0.0 )
976 ( >= ( + icon_tbl_kid_17_width ( * -1.0 icon_tbl_kid_5_width ) ) 0.0 )
977 ( <= ( + icon_tbl_kid_0_width ( * -1.0 icon_tbl_kid_1_x ) icon_tbl_kid_0_x ) -10.0 )
978 ( >= ( + icon_tbl_kid_0_width ( * -1.0 icon_tbl_kid_1_x ) icon_tbl_kid_0_x ) -10.0 )
979 ( <= ( + icon_tbl_kid_1_width ( * -1.0 icon_tbl_kid_2_x ) icon_tbl_kid_1_x ) -10.0 )
980 ( >= ( + icon_tbl_kid_1_width ( * -1.0 icon_tbl_kid_2_x ) icon_tbl_kid_1_x ) -10.0 )
981 ( <= ( + icon_tbl_kid_2_width ( * -1.0 icon_tbl_kid_3_x ) icon_tbl_kid_2_x ) -10.0 )
982 ( >= ( + icon_tbl_kid_2_width ( * -1.0 icon_tbl_kid_3_x ) icon_tbl_kid_2_x ) -10.0 )
983 ( <= ( + icon_tbl_kid_3_width ( * -1.0 icon_tbl_kid_4_x ) icon_tbl_kid_3_x ) -10.0 )
984 ( >= ( + icon_tbl_kid_3_width ( * -1.0 icon_tbl_kid_4_x ) icon_tbl_kid_3_x ) -10.0 )
985 ( <= ( + icon_tbl_kid_4_width icon_tbl_kid_4_x ( * -1.0 icon_tbl_kid_5_x ) ) -10.0 )
986 ( >= ( + icon_tbl_kid_4_width icon_tbl_kid_4_x ( * -1.0 icon_tbl_kid_5_x ) ) -10.0 )
987 ( <= ( + icon_tbl_kid_0_hight ( * -1.0 icon_tbl_kid_6_y ) icon_tbl_kid_0_y ) -10.0 )
988 ( >= ( + icon_tbl_kid_0_hight ( * -1.0 icon_tbl_kid_6_y ) icon_tbl_kid_0_y ) -10.0 )
989 ( <= ( + icon_tbl_kid_6_hight icon_tbl_kid_6_y ( * -1.0 icon_tbl_kid_12_y ) ) -10.0 )
990 ( >= ( + icon_tbl_kid_6_hight icon_tbl_kid_6_y ( * -1.0 icon_tbl_kid_12_y ) ) -10.0 )
991 ( <= ( + icon_tbl_kid_6_hight ( * -1.0 icon_tbl_kid_0_hight ) ) 0.0 )
992 ( >= ( + icon_tbl_kid_6_hight ( * -1.0 icon_tbl_kid_0_hight ) ) 0.0 )
993 ( <= ( + icon_tbl_kid_12_hight ( * -1.0 icon_tbl_kid_0_hight ) ) 0.0 )
994 ( >= ( + icon_tbl_kid_12_hight ( * -1.0 icon_tbl_kid_0_hight ) ) 0.0 )
995 ( <= ( + icon_tbl_kid_1_width ( * -1.0 icon_tbl_kid_0_width ) ) 0.0 )
996 ( >= ( + icon_tbl_kid_1_width ( * -1.0 icon_tbl_kid_0_width ) ) 0.0 )
997 ( <= ( + icon_tbl_kid_2_width ( * -1.0 icon_tbl_kid_0_width ) ) 0.0 )
998 ( >= ( + icon_tbl_kid_2_width ( * -1.0 icon_tbl_kid_0_width ) ) 0.0 )
999 ( <= ( + icon_tbl_kid_3_width ( * -1.0 icon_tbl_kid_0_width ) ) 0.0 )
1000 ( >= ( + icon_tbl_kid_3_width ( * -1.0 icon_tbl_kid_0_width ) ) 0.0 )
1001 ( <= ( + icon_tbl_kid_4_width ( * -1.0 icon_tbl_kid_0_width ) ) 0.0 )
1002 ( >= ( + icon_tbl_kid_4_width ( * -1.0 icon_tbl_kid_0_width ) ) 0.0 )
1003 ( <= ( + icon_tbl_kid_5_width ( * -1.0 icon_tbl_kid_0_width ) ) 0.0 )
1004 ( >= ( + icon_tbl_kid_5_width ( * -1.0 icon_tbl_kid_0_width ) ) 0.0 )
1005 ( <= ( + ( * 2.0 icon_tbl_kid_0_hight ) ( * -1.0 icon_tbl_kid_0_width ) ) 0.0 )
1006 ( >= ( + ( * 2.0 icon_tbl_kid_0_hight ) ( * -1.0 icon_tbl_kid_0_width ) ) 0.0 )
1007 ( <= ( + ( * 2.0 icon_tbl_kid_1_hight ) ( * -1.0 icon_tbl_kid_1_width ) ) 0.0 )
1008 ( >= ( + ( * 2.0 icon_tbl_kid_1_hight ) ( * -1.0 icon_tbl_kid_1_width ) ) 0.0 )
1009 ( <= ( + ( * 2.0 icon_tbl_kid_2_hight ) ( * -1.0 icon_tbl_kid_2_width ) ) 0.0 )
1010 ( >= ( + ( * 2.0 icon_tbl_kid_2_hight ) ( * -1.0 icon_tbl_kid_2_width ) ) 0.0 )
1011 ( <= ( + icon_tbl_kid_3_width ( * -2.0 icon_tbl_kid_3_hight ) ) 0.0 )
1012 ( >= ( + icon_tbl_kid_3_width ( * -2.0 icon_tbl_kid_3_hight ) ) 0.0 )
1013 ( <= ( + icon_tbl_kid_4_width ( * -2.0 icon_tbl_kid_4_hight ) ) 0.0 )
1014 ( >= ( + icon_tbl_kid_4_width ( * -2.0 icon_tbl_kid_4_hight ) ) 0.0 )
1015 ( <= ( + icon_tbl_kid_5_width ( * -2.0 icon_tbl_kid_5_hight ) ) 0.0 )
1016 ( >= ( + icon_tbl_kid_5_width ( * -2.0 icon_tbl_kid_5_hight ) ) 0.0 )
1017 ( <= ( + ( * 2.0 icon_tbl_kid_6_hight ) ( * -1.0 icon_tbl_kid_6_width ) ) 0.0 )
1018 ( >= ( + ( * 2.0 icon_tbl_kid_6_hight ) ( * -1.0 icon_tbl_kid_6_width ) ) 0.0 )
1019 ( <= ( + ( * 2.0 icon_tbl_kid_7_hight ) ( * -1.0 icon_tbl_kid_7_width ) ) 0.0 )
1020 ( >= ( + ( * 2.0 icon_tbl_kid_7_hight ) ( * -1.0 icon_tbl_kid_7_width ) ) 0.0 )
1021 ( <= ( + ( * 2.0 icon_tbl_kid_8_hight ) ( * -1.0 icon_tbl_kid_8_width ) ) 0.0 )
1022 ( >= ( + ( * 2.0 icon_tbl_kid_8_hight ) ( * -1.0 icon_tbl_kid_8_width ) ) 0.0 )
1023 ( <= ( + ( * 2.0 icon_tbl_kid_9_hight ) ( * -1.0 icon_tbl_kid_9_width ) ) 0.0 )
1024 ( >= ( + ( * 2.0 icon_tbl_kid_9_hight ) ( * -1.0 icon_tbl_kid_9_width ) ) 0.0 )
1025 ( <= ( + icon_tbl_kid_10_width ( * -2.0 icon_tbl_kid_10_hight ) ) 0.0 )
1026 ( >= ( + icon_tbl_kid_10_width ( * -2.0 icon_tbl_kid_10_hight ) ) 0.0 )
1027 ( <= ( + ( * 2.0 icon_tbl_kid_11_hight ) ( * -1.0 icon_tbl_kid_11_width ) ) 0.0 )
1028 ( >= ( + ( * 2.0 icon_tbl_kid_11_hight ) ( * -1.0 icon_tbl_kid_11_width ) ) 0.0 )
1029 ( <= ( + icon_tbl_kid_12_width ( * -2.0 icon_tbl_kid_12_hight ) ) 0.0 )
1030 ( >= ( + icon_tbl_kid_12_width ( * -2.0 icon_tbl_kid_12_hight ) ) 0.0 )
1031 ( <= ( + ( * 2.0 icon_tbl_kid_13_hight ) ( * -1.0 icon_tbl_kid_13_width ) ) 0.0 )
1032 ( >= ( + ( * 2.0 icon_tbl_kid_13_hight ) ( * -1.0 icon_tbl_kid_13_width ) ) 0.0 )
1033 ( <= ( + ( * 2.0 icon_tbl_kid_14_hight ) ( * -1.0 icon_tbl_kid_14_width ) ) 0.0 )
1034 ( >= ( + ( * 2.0 icon_tbl_kid_14_hight ) ( * -1.0 icon_tbl_kid_14_width ) ) 0.0 )
1035 ( <= ( + ( * 2.0 icon_tbl_kid_15_hight ) ( * -1.0 icon_tbl_kid_15_width ) ) 0.0 )
1036 ( >= ( + ( * 2.0 icon_tbl_kid_15_hight ) ( * -1.0 icon_tbl_kid_15_width ) ) 0.0 )
1037 ( <= ( + ( * 2.0 icon_tbl_kid_16_hight ) ( * -1.0 icon_tbl_kid_16_width ) ) 0.0 )
1038 ( >= ( + ( * 2.0 icon_tbl_kid_16_hight ) ( * -1.0 icon_tbl_kid_16_width ) ) 0.0 )
1039 ( <= ( + icon_tbl_kid_17_width ( * -2.0 icon_tbl_kid_17_hight ) ) 0.0 )
1040 ( >= ( + icon_tbl_kid_17_width ( * -2.0 icon_tbl_kid_17_hight ) ) 0.0 )
1041 ( >= back_top_kid_0_x 0.0 )
1042 ( >= back_top_kid_0_y 0.0 )
1043 ( >= back_top_kid_0_hight 0.0 )
1044 ( <= back_top_hight 70.0 )
1045 ( >= back_top_hight 70.0 )
1046 ( <= ( + ( * 2.0 back_top_kid_0_x ) ( * -1.0 back_top_width ) ) -100.0 )
1047 ( >= ( + ( * 2.0 back_top_kid_0_x ) ( * -1.0 back_top_width ) ) -100.0 )
1048 ( >= back_top_kid_0_x 10.0 )
1049 ( <= ( + back_top_kid_0_x ( * -1.0 back_top_width ) ) -110.0 )
1050 ( <= ( + back_top_y ( * -1.0 back_top_kid_0_y ) ) -10.0 )
1051 ( >= ( + back_top_y ( * -1.0 back_top_kid_0_y ) ) -10.0 )
1052 ( <= ( + back_top_y ( * -1.0 back_top_kid_0_y ) ( * -1.0 back_top_kid_0_hight ) ) -60.0 )
1053 ( >= ( + back_top_y ( * -1.0 back_top_kid_0_y ) ( * -1.0 back_top_kid_0_hight ) ) -60.0 )
1054 ( <= back_top_kid_0_width 100.0 )
1055 ( >= back_top_kid_0_width 100.0 )
1056 back_ground_feasible
1057 title_bg_feasible
1058 main_body_feasible
1059 back_top_feasible
1060 title_bg_kid_0_feasible
1061 title_bg_kid_1_feasible
1062 title_bg_kid_2_feasible
1063 title_bg_kid_3_feasible
1064 title_bg_kid_4_feasible
1065 title_bg_kid_5_feasible
1066 title_bg_kid_6_feasible
1067 title_bg_kid_7_feasible
1068 title_bg_kid_8_feasible
1069 side_bar_feasible
1070 main_feasible
1071 main_title_feasible
1072 fashion_sales_feasible
1073 spring_edit_holder_feasible
1074 staples_feasible
1075 staple_items_feasible
1076 basic_right_feasible
1077 shop_occation_feasible
1078 icon_tbl_feasible
1079 fashion_sales_kid_0_feasible
1080 fashion_sales_kid_1_feasible
1081 fashion_sales_kid_2_feasible
1082 fashion_sales_kid_3_feasible
1083 fashion_sales_kid_4_feasible
1084 fashion_sales_kid_5_feasible
1085 spring_edit_kid_0_feasible
1086 spring_edit_kid_1_feasible
1087 spring_edit_thin_kid_0_feasible
1088 staple_items_kid_0_feasible
1089 staple_items_kid_1_feasible
1090 staple_items_kid_2_feasible
1091 staple_items_kid_3_feasible
1092 staple_items_kid_4_feasible
1093 staple_items_kid_5_feasible
1094 staple_items_kid_6_feasible
1095 basic_right_pic_holder_feasible
1096 basic_right_bottom_feasible
1097 basic_right_pic_kid_0_feasible
1098 basic_right_pic_kid_1_feasible
1099 basic_right_bottom_kid_0_feasible
1100 basic_right_bottom_kid_1_feasible
1101 basic_right_bottom_kid_2_feasible
1102 basic_right_bottom_kid_3_feasible
1103 basic_right_bottom_kid_4_feasible
1104 occation_title_feasible
1105 occation_pics_feasible
1106 occation_pics_kid_0_feasible
1107 occation_pics_kid_1_feasible
1108 occation_pics_kid_2_feasible
1109 occation_pics_kid_3_feasible
1110 icon_tbl_kid_0_feasible
1111 icon_tbl_kid_1_feasible
1112 icon_tbl_kid_2_feasible
1113 icon_tbl_kid_3_feasible
1114 icon_tbl_kid_4_feasible
1115 icon_tbl_kid_5_feasible
1116 icon_tbl_kid_6_feasible
1117 icon_tbl_kid_7_feasible
1118 icon_tbl_kid_8_feasible
1119 icon_tbl_kid_9_feasible
1120 icon_tbl_kid_10_feasible
1121 icon_tbl_kid_11_feasible
1122 icon_tbl_kid_12_feasible
1123 icon_tbl_kid_13_feasible
1124 icon_tbl_kid_14_feasible
1125 icon_tbl_kid_15_feasible
1126 icon_tbl_kid_16_feasible
1127 icon_tbl_kid_17_feasible
1128 back_top_kid_0_feasible
0
1164
( 1 )
( 2 )
( 3 )
( 4 )
( 5 )
( 6 )
( 7 )
( 8 )
( 9 )
( 10 )
( 11 )
( 12 )
( 13 )
( 14 )
( 15 )
( 16 )
( 17 )
( 18 )
( 19 )
( 20 )
( 21 )
( 22 )
( 23 )
( 24 )
( 25 )
( 26 )
( 27 )
( 28 )
( 29 )
( 30 )
( 31 )
( 32 )
( 33 )
( 34 )
( 35 )
( 36 )
( 37 )
( 38 )
( 24 )
( 29 )
( 39 )
( 26 )
( 31 )
( 40 )
( 41 )
( 28 )
( 33 )
( 42 )
( 43 )
( 44 )
( 45 )
( 46 )
( 47 )
( 48 )
( 49 )
( 50 )
( 51 )
( 52 )
( 53 )
( 54 )
( 55 )
( 56 )
( 57 )
( 58 )
( 59 )
( 60 )
( 61 )
( 62 )
( 63 )
( 64 )
( 65 )
( 66 )
( 67 )
( 68 )
( 69 )
( 70 )
( 71 )
( 72 )
( 73 )
( 74 )
( 75 )
( 76 )
( 77 )
( 78 )
( 79 )
( 80 )
( 81 )
( 82 )
( 83 )
( 84 )
( 85 )
( 86 )
( 87 )
( 88 )
( 89 )
( 90 )
( 91 )
( 92 )
( 93 )
( 94 )
( 95 )
( 96 )
( 97 )
( 98 )
( 99 )
( 100 )
( 88 )
( 101 )
( 102 )
( 103 )
( 104 )
( 105 )
( 106 )
( 107 )
( 108 )
( 109 )
( 110 )
( 111 )
( 112 )
( 113 )
( 114 )
( 115 )
( 116 )
( 117 )
( 118 )
( 119 )
( 120 )
( 121 )
( 122 )
( 123 )
( 124 )
( 125 )
( 126 )
( 127 )
( 128 )
( 129 )
( 130 )
( 131 )
( 132 )
( 133 )
( 134 )
( 135 )
( 136 )
( 137 )
( 138 )
( 139 )
( 140 )
( 141 )
( 142 )
( 143 )
( 144 )
( 145 )
( 146 )
( 147 )
( 148 )
( 149 )
( 150 )
( 151 )
( 152 )
( 153 )
( 154 )
( 155 )
( 156 )
( 157 )
( 158 )
( 159 )
( 160 )
( 161 )
( 162 )
( 163 )
( 164 )
( 165 )
( 166 )
( 167 )
( 168 )
( 169 )
( 170 )
( 171 )
( 172 )
( 173 )
( 174 )
( 175 )
( 176 )
( 177 )
( 178 )
( 179 )
( 180 )
( 181 )
( 182 )
( 183 )
( 184 )
( 185 )
( 186 )
( 187 )
( 188 )
( 189 )
( 190 )
( 191 )
( 192 )
( 179 )
( 193 )
( 194 )
( 195 )
( 196 )
( 197 )
( 198 )
( 199 )
( 200 )
( 201 )
( 202 )
( 203 )
( 204 )
( 205 )
( 206 )
( 207 )
( 208 )
( 209 )
( 210 )
( 211 )
( 212 )
( 213 )
( 214 )
( 215 )
( 216 )
( 217 )
( 218 )
( 219 )
( 220 )
( 221 )
( 222 )
( 223 )
( 224 )
( 225 )
( 226 )
( 227 )
( 228 )
( 229 )
( 230 )
( 231 )
( 232 )
( 233 )
( 234 )
( 235 )
( 236 )
( 237 )
( 238 )
( 239 )
( 240 )
( 241 )
( 242 )
( 243 )
( 244 )
( 245 )
( 246 )
( 247 )
( 248 )
( 249 )
( 250 )
( 251 )
( 252 )
( 253 )
( 254 )
( 255 )
( 256 )
( 257 )
( 258 )
( 259 )
( 260 )
( 261 )
( 262 )
( 263 )
( 264 )
( 265 )
( 266 )
( 267 )
( 268 )
( 269 )
( 270 )
( 271 )
( 272 )
( 273 )
( 274 )
( 275 )
( 276 )
( 277 )
( 278 )
( 279 )
( 280 )
( 281 )
( 282 )
( 283 )
( 284 )
( 285 )
( 286 )
( 287 )
( 288 )
( 289 )
( 290 )
( 291 )
( 292 )
( 293 )
( 294 )
( 295 )
( 296 )
( 297 )
( 298 )
( 299 )
( 300 )
( 301 )
( 302 )
( 303 )
( 304 )
( 305 )
( 306 )
( 307 )
( 308 )
( 309 )
( 310 )
( 311 )
( 312 )
( 313 )
( 314 )
( 315 )
( 316 )
( 317 )
( 318 )
( 319 )
( 320 )
( 321 )
( 322 )
( 323 )
( 324 )
( 325 )
( 326 )
( 327 )
( 328 )
( 329 )
( 330 )
( 331 )
( 332 )
( 333 )
( 334 )
( 335 )
( 336 )
( 337 )
( 338 )
( 339 )
( 340 )
( 341 )
( 342 )
( 343 )
( 344 )
( 345 )
( 346 )
( 347 )
( 348 )
( 349 )
( 350 )
( 351 )
( 352 )
( 353 )
( 354 )
( 355 )
( 356 )
( 357 )
( 358 )
( 359 360 )
( 359 361 )
( -359 362 )
( -359 363 )
( 364 )
( 365 )
( 366 )
( 367 )
( 368 )
( 369 )
( 370 )
( 371 )
( 372 )
( 373 )
( 374 )
( 375 )
( 376 )
( 377 )
( 378 )
( 379 )
( 380 )
( 381 )
( 382 )
( 383 )
( -384 385 )
( -384 386 )
( -384 387 )
( -384 388 )
( -384 389 )
( -384 390 )
( -384 391 )
( -384 392 )
( -393 394 )
( -393 395 )
( -393 396 )
( -393 397 )
( -393 398 )
( -393 399 )
( -393 400 )
( -393 401 )
( 384 393 )
( -384 -393 )
( 402 )
( 403 )
( 404 )
( 405 )
( 406 )
( 407 )
( 408 )
( 409 )
( 410 )
( 411 )
( 412 )
( 413 )
( 414 )
( 415 )
( -384 416 )
( -384 417 )
( -384 418 )
( -384 419 )
( -384 420 )
( -384 421 )
( -384 422 )
( -384 423 )
( -384 424 )
( -384 425 )
( -384 416 )
( -384 421 )
( -384 426 )
( -384 418 )
( -384 427 )
( -384 428 )
( -384 422 )
( -384 429 )
( -384 419 )
( -384 423 )
( -384 430 )
( -384 424 )
( -384 431 )
( -384 432 )
( -384 433 )
( 434 )
( 435 )
( 436 )
( 437 )
( 438 )
( -393 439 )
( -393 440 )
( -393 441 )
( -393 442 )
( -393 443 )
( -393 439 )
( -393 440 )
( -393 444 )
( -393 441 )
( -393 445 )
( -393 442 )
( -393 446 )
( 447 )
( 448 )
( 449 )
( 450 )
( 451 )
( 452 )
( 453 )
( 454 )
( 455 )
( 456 )
( 457 )
( 458 )
( 459 )
( 460 )
( 461 )
( 462 )
( 463 )
( 464 )
( 465 )
( 466 )
( 467 )
( 468 )
( 469 )
( 470 )
( 471 )
( 472 )
( 473 )
( 474 )
( 475 )
( 476 )
( 477 )
( 478 )
( 479 )
( 480 )
( 481 )
( 482 )
( 483 )
( 484 )
( 485 )
( 486 )
( 487 )
( 488 )
( 489 )
( 490 )
( 491 )
( 492 )
( 493 )
( 494 )
( 495 )
( 496 )
( 497 )
( 498 )
( 499 )
( 500 )
( 501 )
( 502 )
( 503 )
( 504 )
( 505 )
( 506 )
( 507 )
( 508 )
( 509 )
( 510 )
( 511 )
( 512 )
( 513 )
( 514 )
( 515 )
( 516 )
( 517 )
( 518 )
( 519 )
( 520 )
( 521 )
( 522 )
( 523 )
( 524 )
( 525 )
( 526 )
( 527 )
( 528 )
( 529 )
( 530 )
( 531 )
( 532 )
( 533 )
( 534 )
( 535 )
( 536 )
( 537 )
( 538 )
( 539 )
( 540 )
( 541 )
( 542 )
( 543 )
( 544 )
( 545 )
( 546 )
( 547 )
( 548 )
( 549 )
( 550 )
( 551 )
( 552 )
( 553 )
( 554 )
( 555 )
( 556 )
( 557 )
( 558 )
( 559 )
( 560 )
( 561 )
( 562 )
( 563 )
( 564 )
( 565 )
( 566 )
( 567 )
( 568 )
( 569 )
( 570 )
( 571 )
( 572 )
( 573 )
( 574 )
( 575 )
( 576 )
( 577 )
( 578 )
( 568 )
( 579 )
( 580 )
( 581 )
( 582 )
( 583 )
( 584 )
( 585 )
( 586 )
( 587 )
( 588 )
( 589 )
( -590 591 )
( -590 592 )
( -590 593 )
( -590 594 )
( -590 595 )
( -590 596 )
( -590 597 )
( -590 598 )
( -599 600 )
( -599 601 )
( -599 602 )
( -599 603 )
( -599 604 )
( -599 605 )
( -599 606 )
( -599 607 )
( 590 599 )
( -590 -599 )
( 608 )
( 609 )
( 610 )
( 611 )
( 612 )
( 613 )
( 614 )
( 615 )
( 616 )
( 617 )
( -590 618 )
( -590 619 )
( -590 620 )
( -590 621 )
( -590 622 )
( -590 623 )
( -590 624 )
( -590 625 )
( -590 626 )
( -590 627 )
( -590 618 )
( -590 623 )
( -590 628 )
( -590 620 )
( -590 629 )
( -590 624 )
( -590 630 )
( -590 631 )
( -590 621 )
( -590 625 )
( -590 632 )
( -590 626 )
( -590 633 )
( -590 634 )
( -590 635 )
( 636 )
( 637 )
( 638 )
( 639 )
( 640 )
( 641 )
( 642 )
( 643 )
( 644 )
( 645 )
( 646 )
( 647 )
( 648 )
( 649 )
( 650 )
( 651 )
( 652 )
( 653 )
( 654 )
( 655 )
( 656 )
( 657 )
( 658 )
( 659 )
( 660 )
( 661 )
( 662 )
( 663 )
( 664 )
( 665 )
( 666 )
( 667 )
( 668 )
( 669 )
( 670 )
( 671 )
( 672 )
( 673 )
( 674 )
( 675 )
( 676 )
( 677 )
( 678 )
( 679 )
( 680 )
( 681 )
( 682 )
( 683 )
( 684 )
( 658 )
( 685 )
( 661 )
( 686 )
( 664 )
( 687 )
( 667 )
( 669 )
( 688 )
( 689 )
( 690 )
( 691 )
( 692 )
( 693 )
( 694 )
( 695 )
( 696 )
( 697 )
( 698 )
( 699 )
( 700 )
( 701 )
( 702 )
( 703 )
( 704 )
( 705 )
( 706 )
( 707 )
( 708 )
( 709 )
( 710 )
( 711 )
( 712 )
( 713 )
( 714 )
( 715 )
( 716 )
( 717 )
( 718 )
( 719 )
( 720 )
( 721 )
( 722 )
( 723 )
( 724 )
( 725 )
( 726 )
( 727 )
( 728 )
( 729 )
( 730 )
( 731 )
( 732 )
( 733 )
( 734 )
( 735 )
( 736 )
( 737 )
( 738 )
( 739 )
( 740 )
( 741 )
( 742 )
( 743 )
( 744 )
( 745 )
( 746 )
( 747 )
( 748 )
( 749 )
( 750 )
( 751 )
( 752 )
( 753 )
( 754 )
( 755 )
( 756 )
( 757 )
( 758 )
( 759 )
( 760 )
( 761 )
( 762 )
( 763 )
( 764 )
( 765 )
( 766 )
( 767 )
( 768 )
( 769 )
( 770 )
( 771 )
( 772 )
( 773 )
( 774 )
( 775 )
( 776 )
( 777 )
( 778 )
( 779 )
( 780 )
( 781 )
( 782 )
( 783 )
( 784 )
( 785 )
( 786 )
( 787 )
( 788 )
( 789 )
( 790 )
( 791 )
( 792 )
( 793 )
( 794 )
( 795 )
( 796 )
( 797 )
( 798 )
( 799 )
( 800 )
( 801 )
( 802 )
( 803 )
( 804 )
( 805 )
( 806 )
( 807 )
( 808 )
( 809 )
( 810 )
( 811 )
( 812 )
( 813 )
( 814 )
( 815 )
( 816 )
( 817 )
( 818 )
( 819 )
( 820 )
( 821 )
( 822 )
( 823 )
( 824 )
( 825 )
( 826 )
( 827 )
( 828 )
( 829 )
( 830 )
( 831 )
( 832 )
( 833 )
( 834 )
( 835 )
( 836 )
( 837 )
( 838 )
( 839 )
( 840 )
( 841 )
( 842 )
( 843 )
( 844 )
( 845 )
( 846 )
( 847 )
( 848 )
( 849 )
( 850 )
( 851 )
( 852 )
( 853 )
( 854 )
( 855 )
( 856 )
( 857 )
( 858 )
( 859 )
( 860 )
( 861 )
( 862 )
( 863 )
( 864 )
( 865 )
( 866 )
( 867 )
( 868 )
( 869 )
( 870 )
( 871 )
( 872 )
( 873 )
( 874 )
( 875 )
( 876 )
( 877 )
( 878 )
( 879 )
( 880 )
( 881 )
( 882 )
( 883 )
( 884 )
( 885 )
( 886 )
( 887 )
( 888 )
( 889 )
( 890 )
( 891 )
( 892 )
( 893 )
( 894 )
( 895 )
( 896 )
( 897 )
( 898 )
( 899 )
( 900 )
( 901 )
( 902 )
( 903 )
( 904 )
( 905 )
( 906 )
( 907 )
( 908 )
( 909 )
( 910 )
( 911 )
( 912 )
( 913 )
( 914 )
( 915 )
( 916 )
( 917 )
( 918 )
( 919 )
( 920 )
( 921 )
( 922 )
( 923 )
( 924 )
( 925 )
( 926 )
( 927 )
( 928 )
( 929 )
( 930 )
( 931 )
( 932 )
( 933 )
( 934 )
( 935 )
( 936 )
( 937 )
( 938 )
( 939 )
( 940 )
( 941 )
( 942 )
( 943 )
( 944 )
( 945 )
( 946 )
( 947 )
( 948 )
( 949 )
( 950 )
( 951 )
( 952 )
( 953 )
( 954 )
( 955 )
( 956 )
( 957 )
( 958 )
( 959 )
( 960 )
( 961 )
( 962 )
( 963 )
( 964 )
( 965 )
( 966 )
( 967 )
( 968 )
( 969 )
( 970 )
( 971 )
( 972 )
( 973 )
( 974 )
( 975 )
( 976 )
( 977 )
( 978 )
( 979 )
( 980 )
( 981 )
( 982 )
( 983 )
( 984 )
( 985 )
( 986 )
( 987 )
( 988 )
( 989 )
( 990 )
( 991 )
( 992 )
( 993 )
( 994 )
( 995 )
( 996 )
( 997 )
( 998 )
( 999 )
( 1000 )
( 1001 )
( 1002 )
( 1003 )
( 1004 )
( 1005 )
( 1006 )
( 1007 )
( 1008 )
( 1009 )
( 1010 )
( 1011 )
( 1012 )
( 1013 )
( 1014 )
( 1015 )
( 1016 )
( 1017 )
( 1018 )
( 1019 )
( 1020 )
( 1021 )
( 1022 )
( 1023 )
( 1024 )
( 1025 )
( 1026 )
( 1027 )
( 1028 )
( 1029 )
( 1030 )
( 1031 )
( 1032 )
( 1033 )
( 1034 )
( 1035 )
( 1036 )
( 1037 )
( 1038 )
( 1039 )
( 1040 )
( 1041 )
( 1042 )
( 1043 )
( 1044 )
( 1045 )
( 1046 )
( 1047 )
( 1048 )
( 1049 )
( 1050 )
( 1051 )
( 1052 )
( 1053 )
( 1054 )
( 1055 )
( 1056 )
( 1057 )
( 1058 )
( 1059 )
( 1060 )
( 1061 )
( 1062 )
( 1063 )
( 1064 )
( 1065 )
( 1066 )
( 1067 )
( 1068 )
( 1069 )
( 1070 )
( 1071 )
( 1072 )
( 1073 )
( 1074 )
( 1075 )
( 1076 )
( 1077 )
( 1078 )
( 1079 )
( 1080 )
( 1081 )
( 1082 )
( 1083 )
( 1084 )
( 384 -1085 )
( -384 1085 )
( 384 -1086 )
( -384 1086 )
( 393 -1087 )
( -393 1087 )
( 1088 )
( 1089 )
( 1090 )
( 1091 )
( 1092 )
( 1093 )
( 1094 )
( 1095 )
( 1096 )
( 590 -1097 )
( -590 1097 )
( 590 -1098 )
( -590 1098 )
( 1099 )
( 1100 )
( 1101 )
( 1102 )
( 1103 )
( 1104 )
( 1105 )
( 1106 )
( 1107 )
( 1108 )
( 1109 )
( 1110 )
( 1111 )
( 1112 )
( 1113 )
( 1114 )
( 1115 )
( 1116 )
( 1117 )
( 1118 )
( 1119 )
( 1120 )
( 1121 )
( 1122 )
( 1123 )
( 1124 )
( 1125 )
( 1126 )
( 1127 )
( 1128 )
sat
